Vai al contenuto principale della pagina

Extensional Gödel functional interpretation [e-book] : a consistency proof of classical analysis / by Horst Luckhardt



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Luckhardt, Horst Visualizza persona
Titolo: Extensional Gödel functional interpretation [e-book] : a consistency proof of classical analysis / by Horst Luckhardt Visualizza cluster
Pubblicazione: Berlin : Springer, 1973
Descrizione fisica: 1 online resource (161 p.)
Disciplina: 510
Soggetto topico: Mathematics
ISBN: 9783540382836
Formato: Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 991002185509707536
Lo trovi qui: Univ. del Salento
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/BFb0060871
Opac: Controlla la disponibilitĂ  qui
Serie: Lecture Notes in Mathematics, 0075-8434 ; 306
Fa parte di: Springer eBooks