Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Kurt Gödel : The Princeton Lectures on Intuitionism / Maria Hämeen-Anttila, Jan von Plato editors
| Kurt Gödel : The Princeton Lectures on Intuitionism / Maria Hämeen-Anttila, Jan von Plato editors |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | ix, 133 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020] 01A75 - Collected or selected works; reprintings or translations of classics [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 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274862 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Kurt Gödel : The Princeton Lectures on Intuitionism / Maria Hämeen-Anttila, Jan von Plato editors
| Kurt Gödel : The Princeton Lectures on Intuitionism / Maria Hämeen-Anttila, Jan von Plato editors |
| Pubbl/distr/stampa | 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 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00274862 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||