top

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

Espandi
Riduci







Seleziona tutte
Deseleziona


Formalized recursive functionals and formalized realizability
Espandi opera
...
Foundations of intuitionistic mathematics
Espandi opera
...
Foundations of intuitionistic mathematics, especially in relation to recursive functions
Espandi opera
...

Introduction to metamathematics
Espandi opera
...
Mathematical logic
Espandi opera
...
Two papers on the predicate calculus
Espandi opera
...