Kurt Gödel : The Princeton Lectures on Intuitionism / Maria Hämeen-Anttila, Jan von Plato editors

• Pubblicazione: Cham, : Springer, 2021
• Descrizione fisica: ix, 133 p. : ill. ; 24 cm
• Soggetto topico: 01A60 - History of mathematics in the 20th century [MSC 2020]; 01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020]; 03-XX - Mathematical logic and foundations [MSC 2020]; 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020]
• Soggetto non controllato: Arbeitshefte; Axiomatic intuitionistic logic; Constructive reasoning; Dialectica paper; Heyting arithmetic; Properties of partial recursive functions
• Persona (resp. second.): Hämeen-Anttila, Maria; Plato, Jan von
• Titolo autorizzato: KURT Godel
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00274862
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-3-030-87296-0
• Serie: Sources and studies in the history of mathematics and physical sciences Berlin [etc.] . -Springer