Prezentarea autorului Adrian Rezuş:

Cărțile publicate de Adrian Rezuş până acum:

Teoria martorilor: Note despre λ-calcul și logică - Witness Theory: Notes on λ-calculus and...

Kings College Pubn

Această carte se referă la analiza matematică a...

Teoria martorilor: Note despre λ-calcul și logică - Witness Theory: Notes on λ-calculus and Logic

Logică și calcul contemporan - Contemporary Logic and Computing

Kings College Pubn

Volumul de față provine dintr-o propunere de carte făcută în urmă cu aproximativ doi ani către...

Logică și calcul contemporan - Contemporary Logic and Computing

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)