1.
Record Nr.
UNINA990001306760403321
Autore
Luckhardt, Horst
Titolo
Extensional Godel functional interpretation : A consistence proff of classical analysis / by LUCKHARDT H.
Locazione
MA1
Collocazione
C-20-(306
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia