A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
Studies in logic and the foundations of mathematics
Editeur :
ISSN :
0049-237X
|
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externes
Recursive number theory / R. L. GOODSTEIN (1957)
Titre : Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus Type de document : texte imprimé Auteurs : R. L. GOODSTEIN, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1957 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : XII-190 p. Langues : Anglais Mots-clés : théorie récursive des nombres arithmétique récursive Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus [texte imprimé] / R. L. GOODSTEIN, Auteur . - Amsterdam : North-Holland Publishing Company, 1957 . - XII-190 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : théorie récursive des nombres arithmétique récursive Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5745 GOO/11/1544 Livre Recherche Salle Disponible Sentences undecidable in formalized arithmetic / Andrzej MOSTOWSKI (1957)
Titre : Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel Type de document : texte imprimé Auteurs : Andrzej MOSTOWSKI, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1957 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-117 p. Langues : Anglais Mots-clés : théorie de Gödel arithmétique Note de contenu : bibliogr. Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel [texte imprimé] / Andrzej MOSTOWSKI, Auteur . - Amsterdam : North-Holland Publishing Company, 1957 . - VIII-117 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : théorie de Gödel arithmétique Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5523 MOS/02/1508 Livre Recherche Salle Disponible Solvable cases of the decision problem / W. ACKERMANN (1954)
Titre : Solvable cases of the decision problem Type de document : texte imprimé Auteurs : W. ACKERMANN, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1954 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-114 p. Langues : Anglais Mots-clés : logique mathématique Note de contenu : index, bibliogr. Solvable cases of the decision problem [texte imprimé] / W. ACKERMANN, Auteur . - Amsterdam : North-Holland Publishing Company, 1954 . - VIII-114 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : logique mathématique Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5437 ACK/02/1557 Livre Recherche Salle Disponible The axiomatic method / Leon HENKIN (1959)
Titre : The axiomatic method : with special reference to geometry and physics. Proceedings of an International symposium held at the University of California Berkeley, Decembre 26, 1957 - January 4, 1958 Type de document : texte imprimé Auteurs : Leon HENKIN, Editeur scientifique ; Patrick SUPPES, Editeur scientifique ; Alfred TARSKI, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1959 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : XI-488 p. Langues : Anglais Mots-clés : méthode axiomatique géométrie physique Note de contenu : bibliogr. The axiomatic method : with special reference to geometry and physics. Proceedings of an International symposium held at the University of California Berkeley, Decembre 26, 1957 - January 4, 1958 [texte imprimé] / Leon HENKIN, Editeur scientifique ; Patrick SUPPES, Editeur scientifique ; Alfred TARSKI, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, 1959 . - XI-488 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : méthode axiomatique géométrie physique Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5500 HEN/02/1511 Livre Recherche Salle Disponible The foundations of intuitionistic mathematics / Stephen Cole KLEENE (1965)
Titre : The foundations of intuitionistic mathematics : especially in relation to recursive functions Type de document : texte imprimé Auteurs : Stephen Cole KLEENE, Auteur ; Richard Eugene VESLEY, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-206 p. Langues : Anglais Mots-clés : fondement des mathématiques mathématique intuitionniste Note de contenu : index, bibliogr. The foundations of intuitionistic mathematics : especially in relation to recursive functions [texte imprimé] / Stephen Cole KLEENE, Auteur ; Richard Eugene VESLEY, Auteur . - Amsterdam : North-Holland Publishing Company, 1965 . - VIII-206 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : fondement des mathématiques mathématique intuitionniste Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5509 KLE/02/2602 Livre Recherche Salle Disponible The foundations of mathematics / Evert W. BETH (1959)
PermalinkThe foundations of mathematics / Evert W. BETH (1968)
PermalinkThe logical systems of Lesniewski / Eugene C. LUSCHEI (1962)
PermalinkThe metamathematics of algebraic systems / Anatolii Ivanovi? MAL'CEV (1971)
PermalinkThe propositional logic of Boethius / Karl DÜRR (1951)
PermalinkThe theory of models / J. W. ADDISON (1965)
PermalinkTheory of Relations / R. FRAYSSE (1986)
PermalinkTopoi / Robert GOLDBLATT (cop. 1984)
PermalinkTopoi / Robert GOLDBLATT (1979)
PermalinkToward a systematic pragmatics / R. M. MARTIN (1959)
Permalink