3 résultat(s) recherche sur le mot-clé 'philosophy and foundations of mathematics'

Introduction to metamathematics / Kleene, Stephen C.

Public ISBD Titre : Introduction to metamathematics Type de document : texte imprimé Auteurs : Kleene, Stephen C. Editeur : Amsterdam : North-Holland Publishing Co.; Groningen: P. Noordhoff N. V. Année de publication : 1967 Collection : Bibliotheca Mathematica num. 1 Importance : x - 550 p. ISBN/ISSN/EAN : 978-0-7204-2103-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems Mots-clés : recursive functions  mathematical logic  philosophy and foundations of mathematics Index. décimale : 03C Monographie Introduction to metamathematics [texte imprimé] / Kleene, Stephen C. . - Amsterdam : North-Holland Publishing Co.; Groningen: P. Noordhoff N. V., 1967 . - x - 550 p.. - (Bibliotheca Mathematica; 1) . ISBN : 978-0-7204-2103-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems Mots-clés : recursive functions  mathematical logic  philosophy and foundations of mathematics Index. décimale : 03C Monographie

Exemplaires

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

Mathematical logic / Joseph R. Shoenfield

Public ISBD Titre : Mathematical logic Type de document : texte imprimé Auteurs : Joseph R. Shoenfield Editeur : Reading, MA : Addison-Wesley Publishing Company, Inc. Année de publication : 1967 Importance : vii - 344 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory  axiomatic number theory  recursion theory  model theory  proof theory  philosophy and foundations of mathematics Index. décimale : 03C Monographie Mathematical logic [texte imprimé] / Joseph R. Shoenfield . - Reading, MA : Addison-Wesley Publishing Company, Inc., 1967 . - vii - 344 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory  axiomatic number theory  recursion theory  model theory  proof theory  philosophy and foundations of mathematics Index. décimale : 03C Monographie

Exemplaires

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

méthodes de logique / W. V. Quine

Public ISBD Titre : méthodes de logique Type de document : texte imprimé Auteurs : W. V. Quine ; Clavelin, Maurice Trad. Mention d'édition : 3° ed. Editeur : Paris : Armand Colin Année de publication : 1972 Collection : Collection U Importance : 294 p. Mots-clés : philosophy and foundations of mathematics  logique Index. décimale : 03C Monographie méthodes de logique [texte imprimé] / W. V. Quine ; Clavelin, Maurice Trad.  . -  3° ed. . - Paris : Armand Colin, 1972 . - 294 p.. - (Collection U) . Mots-clés : philosophy and foundations of mathematics  logique Index. décimale : 03C Monographie

Exemplaires

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