3 résultat(s) recherche sur le mot-clé 'g?'

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

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