A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03-XX Mathematical logic and foundations > 03-02 Research exposition (monographs, survey articles)
03-02 Research exposition (monographs, survey articles)
Affiner la recherche
Mechanical theorem proving in geometries / Wu, Wen-tsün
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11825 68C01 imprimé / autre CRDM 68/INFORMATIQUE Disponible Metamathematics of first-order arithmetic / Hajek, Petr
Titre : Metamathematics of first-order arithmetic Type de document : texte imprimé Auteurs : Hajek, Petr ; Pudlak, Pavel Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 1998 Collection : Perspectives in Mathematical Logic Importance : xiv - 460 p. ISBN/ISSN/EAN : 978-3-540-63648-9 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:03D15 Complexity of computation
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragmentsMots-clés : consistency interpretability witnessing functions provability bounded arithmetic model theory indicators conservativity definable cuts reflexive theories self-reference incompleteness combinatorics in fragments recursion theory partial truth definitions fragments of arithmetic foundations of arithmetic of natural numbers Index. décimale : 03C Monographie Metamathematics of first-order arithmetic [texte imprimé] / Hajek, Petr ; Pudlak, Pavel . - 2nd ed. . - [S.l.] : Springer-Verlag, 1998 . - xiv - 460 p.. - (Perspectives in Mathematical Logic) .
ISBN : 978-3-540-63648-9
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:03D15 Complexity of computation
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragmentsMots-clés : consistency interpretability witnessing functions provability bounded arithmetic model theory indicators conservativity definable cuts reflexive theories self-reference incompleteness combinatorics in fragments recursion theory partial truth definitions fragments of arithmetic foundations of arithmetic of natural numbers Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13032 03C07 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Minimal degrees of unsolvability and the full approximation construction / Epstein, Richard L.
Titre : Minimal degrees of unsolvability and the full approximation construction Type de document : texte imprimé Auteurs : Epstein, Richard L. Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1975 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 162 Importance : viii - 136 p. 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:03D30 Other degrees and reducibilitiesMots-clés : mathematical logic degrees Index. décimale : Mem Minimal degrees of unsolvability and the full approximation construction [texte imprimé] / Epstein, Richard L. . - Providence, R.I. : American Mathematical Society, 1975 . - viii - 136 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 162) .
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:03D30 Other degrees and reducibilitiesMots-clés : mathematical logic degrees Index. décimale : Mem Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15326 Mem/162 imprimé / autre CRDM Mem/MEMOIRS AMS Disponible Modal logics / R. Feys
Titre : Modal logics Type de document : texte imprimé Auteurs : R. Feys Editeur : Louvain : E. Nauwelaerts - Gauthier-Villars Année de publication : 1965 Collection : Collection de Logique Mathématique Série B num. 04 Importance : xiv - 219 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logicMots-clés : mathematical logic Index. décimale : 03C Monographie Modal logics [texte imprimé] / R. Feys . - Louvain : E. Nauwelaerts - Gauthier-Villars, 1965 . - xiv - 219 p.. - (Collection de Logique Mathématique Série B; 04) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logicMots-clés : mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9211 03C60 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Model theory / Marker, David
Titre : Model theory : an introduction Type de document : texte imprimé Auteurs : Marker, David Editeur : New York, NY : Springer Année de publication : 2002 Collection : Graduate Texts in Mathematics num. 217 Importance : viii - 342 p. ISBN/ISSN/EAN : 978-0-387-98760-6 Langues : Anglais Catégories : 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)
03-XX Mathematical logic and foundations:03CXX Model theoryMots-clés : theories sets of sensences mathematical structures model theory Index. décimale : 03C Monographie Model theory : an introduction [texte imprimé] / Marker, David . - New York, NY : Springer, 2002 . - viii - 342 p. . - (Graduate Texts in Mathematics; 217) .
ISBN : 978-0-387-98760-6
Langues : Anglais
Catégories : 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)
03-XX Mathematical logic and foundations:03CXX Model theoryMots-clés : theories sets of sensences mathematical structures model theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16745 03C165 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Models and games / Jouko Väänänen
PermalinkProof theory / Schütte, Kurt
PermalinkProof theory for fuzzy logics / George Metcalfe
PermalinkRegressive sets and the theory of isols / McLaughlin, Thomas G.
PermalinkRelative category theory and geometric morphisms, a logical approach / Chapman, J.
PermalinkSaturated model theory / Sacks, Gerald E.
PermalinkSet theory / Jech, Thomas J.
PermalinkSet theory / Kuratowski, K.
PermalinkA shorter model theory / Wilfrid Hodges
PermalinkTechniques of constructive analysis / Douglas S. Bridges
Permalink