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
Cylindric set algebras. Cylindric set algebras and related structures / Henkin, L.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7616 LNM/883 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible Degrees of unsolvability / Joseph R. Shoenfield
Titre : Degrees of unsolvability Type de document : texte imprimé Auteurs : Joseph R. Shoenfield Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1971 Collection : Mathematics Studies num. 02 Importance : 111 p. ISBN/ISSN/EAN : 978-0-7204-2061-6 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 : degrees mathematical logic Index. décimale : 03C Monographie Degrees of unsolvability [texte imprimé] / Joseph R. Shoenfield . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1971 . - 111 p.. - (Mathematics Studies; 02) .
ISBN : 978-0-7204-2061-6
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 : degrees mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9217 03C83 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Degrees of unsolvability / Epstein, Richard L.
Titre : Degrees of unsolvability : structure and theory Type de document : texte imprimé Auteurs : Epstein, Richard L. Editeur : Springer-Verlag Année de publication : 1979 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 759 Importance : xiv - 240 p. ISBN/ISSN/EAN : 978-3-540-09710-5 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:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentencesMots-clés : priority arguments second-order number theory undecidability first-order theory of degrees partial recursive functionals recursive functions textbook degrees of unsolvability Index. décimale : LNM Degrees of unsolvability : structure and theory [texte imprimé] / Epstein, Richard L. . - [S.l.] : Springer-Verlag, 1979 . - xiv - 240 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 759) .
ISBN : 978-3-540-09710-5
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:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentencesMots-clés : priority arguments second-order number theory undecidability first-order theory of degrees partial recursive functionals recursive functions textbook degrees of unsolvability Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7615 LNM/759 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible Descriptive set theory and definable forcing / Jindrich Zapletal
Titre : Descriptive set theory and definable forcing Type de document : texte imprimé Auteurs : Jindrich Zapletal, Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2004 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 793 Importance : 140 p. ISBN/ISSN/EAN : 978-0-8218-3450-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03EXX Set theory:03E15 Descriptive set theory
03-XX Mathematical logic and foundations:03EXX Set theory:03E17 Cardinal characteristics of the continuumMots-clés : descriptive set theory definable forcing tame cardinal invariants strong large cardinal axioms absoluteness duality interpolation preservation Index. décimale : Mem Descriptive set theory and definable forcing [texte imprimé] / Jindrich Zapletal, Auteur . - Providence, R.I. : American Mathematical Society, 2004 . - 140 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 793) .
ISBN : 978-0-8218-3450-3
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03EXX Set theory:03E15 Descriptive set theory
03-XX Mathematical logic and foundations:03EXX Set theory:03E17 Cardinal characteristics of the continuumMots-clés : descriptive set theory definable forcing tame cardinal invariants strong large cardinal axioms absoluteness duality interpolation preservation Index. décimale : Mem Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19077 Mem/793 imprimé / autre CRDM Mem/MEMOIRS AMS Disponible Dual tableaux: foundations, methodology, case studies / Ewa Orlowska
Titre : Dual tableaux: foundations, methodology, case studies Type de document : texte imprimé Auteurs : Ewa Orlowska (1935-....), Auteur Editeur : Dordrecht : Springer Netherlands Année de publication : 2011 Collection : Trends in Logic num. 33 Importance : v - 562 p. ISBN/ISSN/EAN : 978-94-007-0005-5 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
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofsMots-clés : dual tableaux algebra of binary relations relational logic relational database relational reasoning relevant logic information logic fuzzy logic temporal logic logics of programs Index. décimale : 03C Monographie Dual tableaux: foundations, methodology, case studies [texte imprimé] / Ewa Orlowska (1935-....), Auteur . - Dordrecht : Springer Netherlands, 2011 . - v - 562 p.. - (Trends in Logic; 33) .
ISBN : 978-94-007-0005-5
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
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofsMots-clés : dual tableaux algebra of binary relations relational logic relational database relational reasoning relevant logic information logic fuzzy logic temporal logic logics of programs Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21116 03C188 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Eléments de mathématique / Bourbaki, Nicolas
PermalinkEquivalents of the axiom of choice / Rubin, H.
PermalinkFinite model theory / Ebbinghaus, Heinz-Dieter
PermalinkFonctions recursives / Grzegorczyk, A.
PermalinkForcing with random variables and proof complexity / Jan Krajicek
PermalinkFoundations of constructive mathematics / Beeson, Michael J.
PermalinkFoundations of mathematical logic / Curry, Haskell B.
PermalinkGödel's incompleteness theorems / Raymond M. Smullyan
PermalinkGraph structure and monadic second-order logic / Bruno Courcelle
PermalinkGrundzüge der theoretischen logik / Hilbert, David
Permalink