Presentazione dell'autore Adrian Rezuş:

Libri pubblicati finora da Adrian Rezuş:

Teoria del testimone: Appunti sul calcolo e la logica di λ - Witness Theory: Notes on λ-calculus and...
Kings College Pubn
Questo libro si occupa dell'analisi matematica del...
Teoria del testimone: Appunti sul calcolo e la logica di λ - Witness Theory: Notes on λ-calculus and Logic
Logica e informatica contemporanea - Contemporary Logic and Computing
Kings College Pubn
Il presente volume nasce da una proposta di libro fatta circa due anni fa al College...
Logica e informatica contemporanea - Contemporary Logic and Computing
<<
1
>>

© Book1 Group - tutti i diritti riservati.
Il contenuto di questo sito non può essere copiato o utilizzato, né in parte né per intero, senza il permesso scritto del proprietario.
Ultima modifica: 2024.11.08 20:28 (GMT)