A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'indexation
03C : Monographie
Ouvrages de la bibliothèque en indexation 03C
Affiner la recherche
Fonctions recursives / Grzegorczyk, A.
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 criticalMots-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 criticalMots-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 Fondements de la mathématique discrète / V. A. Gorbatov
Titre : Fondements de la mathématique discrète Type de document : texte imprimé Auteurs : V. A. Gorbatov Editeur : Ecole supérieure vischaïa chkola Année de publication : 1986 Importance : 311 p. Note générale : Don de Monsieur Andronikov Langues : Russe Mots-clés : theorie des grammaires formelles theorie des graphes systeme algebrique logique Index. décimale : 03C Monographie Fondements de la mathématique discrète [texte imprimé] / V. A. Gorbatov . - [S.l.] : Ecole supérieure vischaïa chkola, 1986 . - 311 p.
Don de Monsieur Andronikov
Langues : Russe
Mots-clés : theorie des grammaires formelles theorie des graphes systeme algebrique logique Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3138 03C55 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Forcing with random variables and proof complexity / Jan Krajicek
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22219 03C191 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 22220 03C191 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Foundations of constructive mathematics / Beeson, Michael J.
Titre : Foundations of constructive mathematics : mathematical studies Type de document : texte imprimé Auteurs : Beeson, Michael J. Editeur : Springer-Verlag Année de publication : 1985 Collection : Ergebnisse der Mathematik und ihrer Grenzgebiete num. 6 Importance : xxiii - 466 p. ISBN/ISSN/EAN : 978-3-540-12173-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematicsMots-clés : constructive proof formal systems constructive mathematics intuitionistic logic constructive metamathematics set theory proof theory Index. décimale : 03C Monographie Foundations of constructive mathematics : mathematical studies [texte imprimé] / Beeson, Michael J. . - [S.l.] : Springer-Verlag, 1985 . - xxiii - 466 p.. - (Ergebnisse der Mathematik und ihrer Grenzgebiete; 6) .
ISBN : 978-3-540-12173-2
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematicsMots-clés : constructive proof formal systems constructive mathematics intuitionistic logic constructive metamathematics set theory proof theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3975 03C120 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Foundations of mathematical logic / Curry, Haskell B.
Titre : Foundations of mathematical logic Type de document : texte imprimé Auteurs : Curry, Haskell B. Editeur : New York, NY : McGraw-Hill Book Company Année de publication : 1963 Collection : McGraw-Hill Series in Higher Mathematics Importance : xii - 408 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations
03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)Mots-clés : general logic Index. décimale : 03C Monographie Foundations of mathematical logic [texte imprimé] / Curry, Haskell B. . - New York, NY : McGraw-Hill Book Company, 1963 . - xii - 408 p.. - (McGraw-Hill Series in Higher Mathematics) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations
03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)Mots-clés : general logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4472 03C11 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 4471 03C11 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Gödel's incompleteness theorems / Raymond M. Smullyan
PermalinkGraph structure and monadic second-order logic / Bruno Courcelle
PermalinkGrundzuge der mathematischen logik / Scholz, H.
PermalinkGrundzüge der theoretischen logik / Hilbert, David
PermalinkHandbook of practical logic and automated reasoning / John Harrison
PermalinkInitiation à la logique mathématique / Jérémy, L.
PermalinkInitiation à la théorie des ensembles / Breuer, J.
PermalinkIntensional and higher-order modal logic / Gallin, D.
PermalinkIntroduction à la logique / Tarski, A.
PermalinkIntroduction à la logique mathématique / Novikov, P. S.
Permalink