Collected works Vol. 1 : Publications 1929-1936 / Gödel, Kurtz

Public ISBD Titre : Collected works Vol. 1 : Publications 1929-1936 Type de document : texte imprimé Auteurs : Gödel, Kurtz ; G.H. Moore ; Kleene, S.C. ; J. W. Jr Dawson ; S. Feferman, Editeur scientifique Editeur : New York : Oxford University Press Année de publication : 2001 Importance : xvi - 474 p. ISBN/ISSN/EAN : 978-0-19-514720-9 Langues : Anglais Catégories : 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : g?  selected works  collected works Index. décimale : O1 Oeuvres Collected works Vol. 1 : Publications 1929-1936 [texte imprimé] / Gödel, Kurtz ; G.H. Moore ; Kleene, S.C. ; J. W. Jr Dawson ; S. Feferman, Editeur scientifique . - New York : Oxford University Press, 2001 . - xvi - 474 p. ISBN : 978-0-19-514720-9 Langues : Anglais Catégories : 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : g?  selected works  collected works Index. décimale : O1 Oeuvres

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13493	01 GOD	imprimé / autre	CRDM	01//OEUVRES COMPLETES	Disponible

Collected works Vol. 2 : Publications 1938-1974 / Gödel, Kurtz

Public ISBD Titre : Collected works Vol. 2 : Publications 1938-1974 Type de document : texte imprimé Auteurs : Gödel, Kurtz ; G.H. Moore ; Kleene, S.C. ; J. W. Jr Dawson ; S. Feferman, Editeur scientifique Editeur : Oxford : Oxford university press Année de publication : 2001 Importance : xiv - 407 p. ISBN/ISSN/EAN : 978-0-19-514721-6 Langues : Anglais Catégories : 01-XX History and biography:01A60 20th century 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : g?  selected works  collected works Index. décimale : O1 Oeuvres Collected works Vol. 2 : Publications 1938-1974 [texte imprimé] / Gödel, Kurtz ; G.H. Moore ; Kleene, S.C. ; J. W. Jr Dawson ; S. Feferman, Editeur scientifique . - Oxford : Oxford university press, 2001 . - xiv - 407 p. ISBN : 978-0-19-514721-6 Langues : Anglais Catégories : 01-XX History and biography:01A60 20th century 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : g?  selected works  collected works Index. décimale : O1 Oeuvres

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13813	01 GOD	imprimé / autre	CRDM	01//OEUVRES COMPLETES	Disponible

Ernst Zermelo / Ebbinghaus, Heinz-Dieter

Public ISBD Titre : Ernst Zermelo : an approach to his life and work Type de document : texte imprimé Auteurs : Ebbinghaus, Heinz-Dieter, Auteur Editeur : Springer-Verlag Année de publication : 2007 Importance : xiv, 356 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-3-540-49551-2 Langues : Anglais Catégories : 01-XX History and biography:01A70 Biographies, obituaries, personalia, bibliographies 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : Zermelo  set theory  paradoxes  variational calculus  Skolem  Gödel  controversy Index. décimale : 01C Histoire des Mathématiques Ernst Zermelo : an approach to his life and work [texte imprimé] / Ebbinghaus, Heinz-Dieter, Auteur . - [S.l.] : Springer-Verlag, 2007 . - xiv, 356 p. : ill. ; 24 cm. ISBN : 978-3-540-49551-2 Langues : Anglais Catégories : 01-XX History and biography:01A70 Biographies, obituaries, personalia, bibliographies 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : Zermelo  set theory  paradoxes  variational calculus  Skolem  Gödel  controversy Index. décimale : 01C Histoire des Mathématiques

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18964	01C84	imprimé / autre	CRDM	01/HISTOIRE DES MATHEMATIQUES	Disponible

In the light of logic / Feferman, Solomon

Public ISBD Titre : In the light of logic Type de document : texte imprimé Auteurs : Feferman, Solomon Editeur : New York, NY : Oxford University Press Année de publication : 1998 Collection : Logic and computation in philosophy Importance : xii -340 p. ISBN/ISSN/EAN : 978-0-19-508030-8 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : mathematical philosophy  proof theory  logic  g?  hilbert  cantor Index. décimale : O1 Oeuvres In the light of logic [texte imprimé] / Feferman, Solomon . - New York, NY : Oxford University Press, 1998 . - xii -340 p.. - (Logic and computation in philosophy) . ISBN : 978-0-19-508030-8 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : mathematical philosophy  proof theory  logic  g?  hilbert  cantor Index. décimale : O1 Oeuvres

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13380	01 FEF	imprimé / autre	CRDM	01//OEUVRES COMPLETES	Disponible

Kurt Gödel / Feferman, Solomon ; Charles Parsons ; Stephen G. Simpsons

Public ISBD Titre : Kurt Gödel : Essays for his centennial Type de document : texte imprimé Auteurs : Feferman, Solomon ; Charles Parsons ; Stephen G. Simpsons, Editeur scientifique Editeur : Cambridge University Press Année de publication : 2010 Collection : Lecture Notes in Logic ISBN/ISSN/EAN : 978-0-521-11514-8 Langues : Anglais Catégories : 01-XX History and biography:01A60 20th century 01-XX History and biography:01A70 Biographies, obituaries, personalia, bibliographies 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : Kurt Gödel  logic  symbolic Index. décimale : 01C Histoire des Mathématiques Kurt Gödel : Essays for his centennial [texte imprimé] / Feferman, Solomon ; Charles Parsons ; Stephen G. Simpsons, Editeur scientifique . - [S.l.] : Cambridge University Press, 2010. - (Lecture Notes in Logic) . ISBN : 978-0-521-11514-8 Langues : Anglais Catégories : 01-XX History and biography:01A60 20th century 01-XX History and biography:01A70 Biographies, obituaries, personalia, bibliographies 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : Kurt Gödel  logic  symbolic Index. décimale : 01C Histoire des Mathématiques

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19305	01C89	imprimé / autre	CRDM	01/HISTOIRE DES MATHEMATIQUES	Disponible

Logical dilemmas / J. W. Jr Dawson

Permalink

Selecta / Specker, Ernst

Permalink

---

page 1/1