Extensional Godel functional interpretation : A consistence proff of classical analysis / by LUCKHARDT H.

• Record Nr.: UNINA990001306760403321
• Autore: Luckhardt, Horst
• Locazione: MA1
• Collocazione: C-20-(306
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia