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.
Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier
| Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier |
| Autore | Gauthier, Yvon |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | XI, 184 p. : ill. ; 24 cm |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 13F20 - Polynomial rings and ideals; rings of integer-valued polynomials [MSC 2020] 01-XX - History and biography [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Arithmetical logic
Constructive logic Fermat’s infinite descent Foundations of mathematics Kronecker’s general arithmetic |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113711 |
Gauthier, Yvon
|
||
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier
| Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier |
| Autore | Gauthier, Yvon |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | XI, 184 p. : ill. ; 24 cm |
| Soggetto topico |
01-XX - History and biography [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 13F20 - Polynomial rings and ideals; rings of integer-valued polynomials [MSC 2020] 14-XX - Algebraic geometry [MSC 2020] |
| Soggetto non controllato |
Arithmetical logic
Constructive logic Fermat’s infinite descent Foundations of mathematics Kronecker’s general arithmetic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113711 |
|
Gauthier, Yvon
|
||
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||