Internal logic : Foundations of mathematics from Kronecker to hilbert / Y. Gauthier |
Autore | Gauthier, Yvon |
Pubbl/distr/stampa | Dordrecht : Kluwer, c2002 |
Descrizione fisica | x, 237 p. ; 24 cm |
Disciplina | 110 |
Collana | Synthese Library |
Soggetto non controllato |
Logica matematica
Filosofia |
ISBN | 1-4020-0689-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008331170403321 |
Gauthier, Yvon
![]() |
||
Dordrecht : Kluwer, c2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
L'épistémologie française des mathématiques / Yvon Gauthier |
Autore | Gauthier, Yvon |
Pubbl/distr/stampa | Paris : Editions de Minuit, 1978 |
Disciplina | 519 |
Soggetto non controllato | Fondamenti della logica matematica e probabilità |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNINA-990000979440403321 |
Gauthier, Yvon
![]() |
||
Paris : Editions de Minuit, 1978 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
La logique interne / par Yvon Gauthier |
Autore | Gauthier, Yvon |
Pubbl/distr/stampa | Paris : Librairie Philosophique J. Vrin, 1991 |
Descrizione fisica | 140 p., 22 cm |
Disciplina | 511.3 |
Soggetto non controllato | Logica matematica - Fondamenti |
ISBN | 2-7116-1048-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001317180403321 |
Gauthier, Yvon
![]() |
||
Paris : Librairie Philosophique J. Vrin, 1991 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier |
Autore | Gauthier, Yvon |
Edizione | [[Cham] : Birkhäuser : Springer, 2015] |
Pubbl/distr/stampa | XI, 184 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
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] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0113711 |
Gauthier, Yvon
![]() |
||
XI, 184 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Tragédies à l'aube de la vie : répercussions sur les familles / sous la direction de Yvon Gauthier, Serge Lebovici ...[et al.] |
Pubbl/distr/stampa | Parigi : Bayard Éditions ; Inserm ; Ctnerhi, c1993 |
Descrizione fisica | 240 p. : ill. ; 21 cm |
Collana | Collection Païdos, Recherche |
Soggetto non controllato |
Mortalità prenatale
Infanzia - Problemi - Malattie |
ISBN | 2-227-00556.4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNINA-990007957300403321 |
Parigi : Bayard Éditions ; Inserm ; Ctnerhi, c1993 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|