9 résultat(s) recherche sur le mot-clé 'foundations'

Studies in foundations and combinatorics

Public ISBD Titre : Studies in foundations and combinatorics Type de document : texte imprimé Auteurs : Rota, Gian-Carlo, Editeur scientifique Editeur : Academic Press, Inc. Année de publication : 1978 Collection : Advances in Mathematics. Supplementary Studies num. 01 Importance : ix - 265 p. ISBN/ISSN/EAN : 978-0-12-599101-8 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 05-XX Combinatorics :05-06 Proceedings, conferences, collections, etc. Mots-clés : combinatorics  foundations  studies  mathematical logic Index. décimale : 03C Monographie Studies in foundations and combinatorics [texte imprimé] / Rota, Gian-Carlo, Editeur scientifique . - [S.l.] : Academic Press, Inc., 1978 . - ix - 265 p.. - (Advances in Mathematics. Supplementary Studies; 01) . ISBN : 978-0-12-599101-8 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 05-XX Combinatorics :05-06 Proceedings, conferences, collections, etc. Mots-clés : combinatorics  foundations  studies  mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

Algebraic logic / Paul R. Halmos

Public ISBD Titre : Algebraic logic Type de document : texte imprimé Auteurs : Paul R. Halmos Editeur : New York, NY : Chelsea publishing company Année de publication : 1962 Importance : 257 p. Langues : Anglais Mots-clés : mathematical logic  philosophy  foundations Index. décimale : 03C Monographie Algebraic logic [texte imprimé] / Paul R. Halmos . - New York, NY : Chelsea publishing company, 1962 . - 257 p. Langues : Anglais Mots-clés : mathematical logic  philosophy  foundations Index. décimale : 03C Monographie

Exemplaires

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

Beweistheorie / Schutte, K.

Public ISBD Titre : Beweistheorie Type de document : texte imprimé Auteurs : Schutte, K. Editeur : Springer-Verlag Année de publication : 1977 Collection : Grundlehren der Mathematischen Wissenschaften num. 103 Importance : x - 355 p. Langues : Allemand Mots-clés : philosophy  foundations  logics Index. décimale : 03C Monographie Beweistheorie [texte imprimé] / Schutte, K. . - [S.l.] : Springer-Verlag, 1977 . - x - 355 p.. - (Grundlehren der Mathematischen Wissenschaften; 103) . Langues : Allemand Mots-clés : philosophy  foundations  logics Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1789	03C21	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	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

Introduction to logic / Suppes, P.

Public ISBD Titre : Introduction to logic Type de document : texte imprimé Auteurs : Suppes, P. Editeur : Princeton, N.J. : D. Van Nostrand Company, Inc. Année de publication : 1962 Collection : The University Series in Undergraduate Mathematics Importance : xviii - 312 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 03-XX Mathematical logic and foundations:03EXX Set theory:03E20 Other classical set theory (including functions, relations, and set algebra) Mots-clés : mathematical logic  philosophy  foundations Index. décimale : 03C Monographie Introduction to logic [texte imprimé] / Suppes, P. . - Princeton, N.J. : D. Van Nostrand Company, Inc., 1962 . - xviii - 312 p.. - (The University Series in Undergraduate Mathematics) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 03-XX Mathematical logic and foundations:03EXX Set theory:03E20 Other classical set theory (including functions, relations, and set algebra) Mots-clés : mathematical logic  philosophy  foundations Index. décimale : 03C Monographie

Exemplaires

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

Categories for the working mathematician / Saunders Mac Lane

Permalink

Curvature Problems / Gerhardt, Claus

Permalink

Non-euclidean geometry / H. S. M. Coxeter

Permalink

The principles of mathematics / Bertrand Russell

Permalink