Complementarity in mathematics / W. Kuyk

Public ISBD Titre : Complementarity in mathematics : a first introduction to the foundations of mathematics Type de document : texte imprimé Auteurs : W. Kuyk Editeur : Dortrecht : D. Reidel Publishing Company Année de publication : 1977 Collection : Mathematics and Its Applications num. 01 Importance : 186 p. ISBN/ISSN/EAN : 978-90-277-0814-4 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics 01-XX History and biography:01A05 General histories, source books 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Mots-clés : philosophical and critical  mathematical logic Index. décimale : 03C Monographie Complementarity in mathematics : a first introduction to the foundations of mathematics [texte imprimé] / W. Kuyk . - Dortrecht : D. Reidel Publishing Company, 1977 . - 186 p.. - (Mathematics and Its Applications; 01) . ISBN : 978-90-277-0814-4 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics 01-XX History and biography:01A05 General histories, source books 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Mots-clés : philosophical and critical  mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9246	03C112	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Essai sur la psychologie de l'invention dans le domaine mathématique - l'Invention mathematique / Hadamard, Jacques

Public ISBD Titre : Essai sur la psychologie de l'invention dans le domaine mathématique - l'Invention mathematique Type de document : texte imprimé Auteurs : Hadamard, Jacques ; Poincaré, Henri Editeur : Sceaux : Edition Jacques Gabay Année de publication : 1993 Collection : Les Grands Classiques Gauthier-Villars, ISSN 0989-0602 Importance : 150 P. ISBN/ISSN/EAN : 978-2-87647-017-0 Langues : Français Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Index. décimale : 00E Essai sur la psychologie de l'invention dans le domaine mathématique - l'Invention mathematique [texte imprimé] / Hadamard, Jacques ; Poincaré, Henri . - Sceaux : Edition Jacques Gabay, 1993 . - 150 P.. - (Les Grands Classiques Gauthier-Villars, ISSN 0989-0602) . ISBN : 978-2-87647-017-0 Langues : Français Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Index. décimale : 00E

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14910	00E35	imprimé / autre	CRDM	00/GENERALITES	Disponible

Fonctions recursives / Grzegorczyk, A.

Public ISBD Titre : Fonctions recursives Type de document : texte imprimé Auteurs : Grzegorczyk, A. Editeur : Paris : Gauthier-Villars / E. Nauwelaerts Année de publication : 1961 Collection : Collection de logique mathématique série A num. 17 Importance : 100 p. Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Mots-clés : mathematical logic  philosophy  foundations Index. décimale : 03C Monographie Fonctions recursives [texte imprimé] / Grzegorczyk, A. . - Paris : Gauthier-Villars / E. Nauwelaerts, 1961 . - 100 p.. - (Collection de logique mathématique série A; 17) . Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Mots-clés : mathematical logic  philosophy  foundations Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4459	03C12	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Kurt Gödel and the foundations of mathematics / Matthias Baaz ; Christos H. Papadimitriou ; Hilary W. Putnam

Public ISBD Titre : Kurt Gödel and the foundations of mathematics : horizons of truth Type de document : texte imprimé Auteurs : Matthias Baaz ; Christos H. Papadimitriou ; Hilary W. Putnam, Editeur scientifique Editeur : Cambridge, U.K. : Cambridge Univeristy Press Année de publication : 2011 Importance : xxiii - 515 p. Format : 27 cm ISBN/ISSN/EAN : 978-0-521-76144-4 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 01-XX History and biography:01A60 20th century 01-XX History and biography:01A70 Biographies, obituaries, personalia, bibliographies 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Mots-clés : Philosophy of mathematics  mathematical logic Index. décimale : 01C Histoire des Mathématiques Kurt Gödel and the foundations of mathematics : horizons of truth [texte imprimé] / Matthias Baaz ; Christos H. Papadimitriou ; Hilary W. Putnam, Editeur scientifique . - Cambridge, U.K. : Cambridge Univeristy Press, 2011 . - xxiii - 515 p. ; 27 cm. ISBN : 978-0-521-76144-4 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 01-XX History and biography:01A60 20th century 01-XX History and biography:01A70 Biographies, obituaries, personalia, bibliographies 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Mots-clés : Philosophy of mathematics  mathematical logic Index. décimale : 01C Histoire des Mathématiques

Exemplaires

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

Logic, semantics, metamathematics / Alfred Tarski

Public ISBD Titre : Logic, semantics, metamathematics : papers from 1923 to 1938 Type de document : texte imprimé Auteurs : Alfred Tarski (1901-1983), Auteur Mention d'édition : 2nd ed. Editeur : Indianapolis : Hackett Pub. Année de publication : 1983 Importance : xxx - 506 p. Format : 23 cm ISBN/ISSN/EAN : 0-915144-76-x Langues : Anglais Catégories : 01-XX History and biography:01-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Index. décimale : 01 Logic, semantics, metamathematics : papers from 1923 to 1938 [texte imprimé] / Alfred Tarski (1901-1983), Auteur  . -  2nd ed. . - Indianapolis : Hackett Pub., 1983 . - xxx - 506 p. ; 23 cm. ISSN : 0-915144-76-x Langues : Anglais Catégories : 01-XX History and biography:01-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03A05 Philosophical and critical Index. décimale : 01

Exemplaires

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

Mathematics and physics / Yuri Ivanovich Manin

Permalink

Le point aveugle. I / Jean-Yves Girard

Permalink

Structures in mathematical theories / Ibarra, A. Eds. ; Echeverria, J. ; Diaz, A.

Permalink

The blind spot / Jean-Yves Girard

Permalink

The evolution of Principia mathematica / Bernard Linsky

Permalink

The foundations of mathematics in the theory of sets / John P. Mayberry

Permalink

---

page 1/1