| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICAMPANIAVAN0274862 |
|
|
Titolo |
Kurt Gödel : The Princeton Lectures on Intuitionism / Maria Hämeen-Anttila, Jan von Plato editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
ix, 133 p. : ill. ; 24 cm |
|
|
|
|
|
|
Soggetti |
|
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] |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |