Degrees of unsolvability / Joseph R. Shoenfield

Public ISBD 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 reducibilities Mots-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 reducibilities Mots-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

Set theory / Frank R. Drake

Public ISBD Titre : Set theory : an introduction to large cardinals Type de document : texte imprimé Auteurs : Frank R. Drake Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1974 Collection : Studies in Logic and The Foundations of Mathematics num. 76 Importance : xii - 351 p. ISBN/ISSN/EAN : 978-0-7204-2279-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E25 Axiom of choice and related propositions 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results 03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinals Mots-clés : mathematical logic  large cardinals  set theory Index. décimale : 03C Monographie Set theory : an introduction to large cardinals [texte imprimé] / Frank R. Drake . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1974 . - xii - 351 p.. - (Studies in Logic and The Foundations of Mathematics; 76) . ISBN : 978-0-7204-2279-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E25 Axiom of choice and related propositions 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results 03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinals Mots-clés : mathematical logic  large cardinals  set theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9219	03C85	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Proof theory / Takeuti, G.

Public ISBD Titre : Proof theory Type de document : texte imprimé Auteurs : Takeuti, G. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1975 Collection : Studies in Logic and The Foundations of Mathematics num. 81 Importance : vii - 372 p. ISBN/ISSN/EAN : 978-0-7204-2277-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section Mots-clés : mathematical logic  proof theory Index. décimale : 03C Monographie Proof theory [texte imprimé] / Takeuti, G. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1975 . - vii - 372 p.. - (Studies in Logic and The Foundations of Mathematics; 81) . ISBN : 978-0-7204-2277-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section Mots-clés : mathematical logic  proof theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9220	03C86	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

the Axiom of choice / Jech, Thomas J.

Public ISBD Titre : the Axiom of choice Type de document : texte imprimé Auteurs : Jech, Thomas J. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1973 Collection : Studies in Logic and The Foundations of Mathematics num. 75 Importance : xi - 202 p. ISBN/ISSN/EAN : 978-0-7204-2275-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:03E25 Axiom of choice and related propositions 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results Mots-clés : set theory  mathematical logic  axiom choice Index. décimale : 03C Monographie the Axiom of choice [texte imprimé] / Jech, Thomas J. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1973 . - xi - 202 p.. - (Studies in Logic and The Foundations of Mathematics; 75) . ISBN : 978-0-7204-2275-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:03E25 Axiom of choice and related propositions 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results Mots-clés : set theory  mathematical logic  axiom choice Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9221	03C87	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

an Algebraic approach to non-classical logics / Rasiowa, H.

Public ISBD Titre : an Algebraic approach to non-classical logics Type de document : texte imprimé Auteurs : Rasiowa, H. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1974 Collection : Studies in Logic and The Foundations of Mathematics num. 78 Importance : xv - 403 p. ISBN/ISSN/EAN : 978-0-7204-2264-1 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:03GXX Algebraic logic Mots-clés : algebraic logic  mathematical logic Index. décimale : 03C Monographie an Algebraic approach to non-classical logics [texte imprimé] / Rasiowa, H. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1974 . - xv - 403 p.. - (Studies in Logic and The Foundations of Mathematics; 78) . ISBN : 978-0-7204-2264-1 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:03GXX Algebraic logic Mots-clés : algebraic logic  mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9224	03C81	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Generalized recursion theory / Hinman, P. G. Eds. ; Fenstad, J. E.

Permalink

Intensional and higher-order modal logic / Gallin, D.

Permalink

Global theory of a second order linear ordinary differential equations with a polynomial coefficient / Yasutaka Sibuya

Permalink

Logic in algebraic form / Craig, Walter

Permalink

Spectral theory and asymptotics of differential equations / Eduard M. de Jager

Permalink

a Survey of combinatorial theory / Harary, F. ; Srivastava, J. N.

Permalink

Algebra of polynomials / Lausch, H.

Permalink

---

page 1/1