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
Completeness, compactnss, and undecidability / Manaster, Alfred B.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9216 03C82 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
Titre : Computability of Julia sets Type de document : texte imprimé Auteurs : Mark. Braverman, Auteur ; Michael Yampolsky, Auteur Editeur : Springer-Verlag Année de publication : 2009 Collection : Algorithms and Computation in Mathematics num. 23 Importance : xiii - 151 p. Présentation : fig. Format : 25 cm. ISBN/ISSN/EAN : 978-3-540-68546-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-99 Mathematical logic and foundations (not classified at a more specific level) Mots-clés : Mathematical logic Index. décimale : 03C Monographie En ligne : http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68546-3 Computability of Julia sets [texte imprimé] / Mark. Braverman, Auteur ; Michael Yampolsky, Auteur . - [S.l.] : Springer-Verlag, 2009 . - xiii - 151 p. : fig. ; 25 cm.. - (Algorithms and Computation in Mathematics; 23) .
ISBN : 978-3-540-68546-3
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-99 Mathematical logic and foundations (not classified at a more specific level) Mots-clés : Mathematical logic Index. décimale : 03C Monographie En ligne : http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68546-3 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19856 03C180 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructibility / Devlin, Keith J.
Titre : Constructibility Type de document : texte imprimé Auteurs : Devlin, Keith J. Editeur : Springer-Verlag Année de publication : 1984 Collection : Perspectives in Mathematical Logic Importance : xi - 425 p. ISBN/ISSN/EAN : 978-0-387-13258-7 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:03E05 Other combinatorial set theory
03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core modelsMots-clés : morasses covering theorem large cardinals silver machines combinatorial principles fine structure of l constructible universe constructible hierarchy constructible sets axiom of choice generalized continuum hypothesis Index. décimale : 03C Monographie Constructibility [texte imprimé] / Devlin, Keith J. . - [S.l.] : Springer-Verlag, 1984 . - xi - 425 p.. - (Perspectives in Mathematical Logic) .
ISBN : 978-0-387-13258-7
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:03E05 Other combinatorial set theory
03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core modelsMots-clés : morasses covering theorem large cardinals silver machines combinatorial principles fine structure of l constructible universe constructible hierarchy constructible sets axiom of choice generalized continuum hypothesis Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13147 03C110 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructible sets with applications / Mostowski, A.
Titre : Constructible sets with applications Type de document : texte imprimé Auteurs : Mostowski, A. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1969 Collection : Studies in Logic and the Foundations of Mathematics Importance : ix - 269 p. Langues : Anglais Mots-clés : set theory Index. décimale : 03C Monographie Constructible sets with applications [texte imprimé] / Mostowski, A. . - Amtsterdam : North-Holland Publishing Company, 1969 . - ix - 269 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4497 03C88 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructive analysis / Errett Bishop
Titre : Constructive analysis Type de document : texte imprimé Auteurs : Errett Bishop ; Douglas S. Bridges Editeur : Springer-Verlag Année de publication : 1985 Collection : Grundlehren der Mathematischen Wissenschaften num. 279 Importance : xii - 477 p. ISBN/ISSN/EAN : 978-3-540-15066-4 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:03F65 Other constructive mathematics
46-XX Functional analysis :46SXX Other (nonclassical) types of functional analysis :46S30 Constructive functional analysisMots-clés : riemann mapping theorem banach algebra s integration theory Index. décimale : 03C Monographie Constructive analysis [texte imprimé] / Errett Bishop ; Douglas S. Bridges . - [S.l.] : Springer-Verlag, 1985 . - xii - 477 p.. - (Grundlehren der Mathematischen Wissenschaften; 279) .
ISBN : 978-3-540-15066-4
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:03F65 Other constructive mathematics
46-XX Functional analysis :46SXX Other (nonclassical) types of functional analysis :46S30 Constructive functional analysisMots-clés : riemann mapping theorem banach algebra s integration theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 106 03C121 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructive real numbers and function spaces / Sanin, N. A.
PermalinkContinuous model theory / Chang, Chen C.
PermalinkContributions to logic and methodology in honor of J. M. Bochenski / A. T. Ed. Tymieniecka
PermalinkCours de logique elémentaire / Lacombe, D.
Permalinka Course in mathematical logic / Yuri Ivanovich Manin
PermalinkA course in mathematical logic for mathematicians / Yuri Ivanovich Manin
Permalinka Course in Model Theory / Poizat, B.
PermalinkDéduction formelle et calculs logiques / V. A. Smirnov
PermalinkDegrees of unsolvability / Joseph R. Shoenfield
PermalinkDegrees of unsolvability / Sacks, Gerald E.
Permalink