top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci







Galvan, Sergio
ID: 56845

Opere

Seleziona tutte
Deseleziona


Introduzione ai teoremi di incompletezza
Espandi opera
...
Logiche intensionali
Espandi opera
...
Non contraddizione e terzo escluso
Espandi opera
...

Regole della negazione nella logica classica, intuizionistica e minimale
Espandi opera
...
Teoria formale dei numeri naturali
Espandi opera
...