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

---

page 1/1