Abstract set theory / Skolem, Thoralf A.

Public ISBD Titre : Abstract set theory Type de document : texte imprimé Auteurs : Skolem, Thoralf A. Editeur : Notre Dame, IN : Universiy of Notre Dame Année de publication : 1962 Collection : Notre Dame Mathematical Lectures num. 08 Importance : 70 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Index. décimale : 03C Monographie Abstract set theory [texte imprimé] / Skolem, Thoralf A. . - Notre Dame, IN : Universiy of Notre Dame, 1962 . - 70 p.. - (Notre Dame Mathematical Lectures; 08) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Index. décimale : 03C Monographie

Exemplaires

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

Algèbre / Saunders Mac Lane

Public ISBD Titre : Algèbre : solutions développées des exercises par J. Weil et J. Hocquemiller. 1re partie: Ensembles. Groupes. Anneaux. Corps Type de document : texte imprimé Auteurs : Saunders Mac Lane ; Birkhoff, G. Editeur : Paris : Gauthier-Villars Année de publication : 1972 Importance : xii - 220 p. Langues : Français Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 12-XX Field theory and polynomials:12-01 Instructional exposition (textbooks, tutorial papers, etc.) Index. décimale : 104B Algèbre : solutions développées des exercises par J. Weil et J. Hocquemiller. 1re partie: Ensembles. Groupes. Anneaux. Corps [texte imprimé] / Saunders Mac Lane ; Birkhoff, G. . - Paris : Gauthier-Villars, 1972 . - xii - 220 p. Langues : Français Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 12-XX Field theory and polynomials:12-01 Instructional exposition (textbooks, tutorial papers, etc.) Index. décimale : 104B

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
158	104B39	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible
19420	104B39	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible

an Introduction to mathematical logic and type theory / P. B. Andrews

Public ISBD Titre : an Introduction to mathematical logic and type theory : to truth through proof Type de document : texte imprimé Auteurs : P. B. Andrews Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 2002 Collection : Applied Logic Series num. 27 Importance : xviii - 408 p. ISBN/ISSN/EAN : 978-1-4020-0763-7 Note générale : commande M. Borer Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory Mots-clés : propositional logic  type theory  first-order logic Index. décimale : 03C Monographie an Introduction to mathematical logic and type theory : to truth through proof [texte imprimé] / P. B. Andrews  . -  2nd ed. . - [S.l.] : Springer-Verlag, 2002 . - xviii - 408 p.. - (Applied Logic Series; 27) . ISBN : 978-1-4020-0763-7 commande M. Borer Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory Mots-clés : propositional logic  type theory  first-order logic Index. décimale : 03C Monographie

Exemplaires

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

Analyse non standard / Robert, Aline

Public ISBD Titre : Analyse non standard Type de document : texte imprimé Auteurs : Robert, Aline Editeur : Lausanne : Presses Polytechniques Romandes Année de publication : 1985 Importance : xvii - 118 p. ISBN/ISSN/EAN : 978-2-88074-072-6 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics 26-XX Real functions :26EXX Miscellaneous topics :26E35 Nonstandard analysis Mots-clés : invariant mean  schr?ger equation  stone-weierstra?theorem  invariant subspace  internal set theory  infinitesimals  nonstandard analysis Index. décimale : 03C Monographie Analyse non standard [texte imprimé] / Robert, Aline . - Lausanne : Presses Polytechniques Romandes, 1985 . - xvii - 118 p. ISBN : 978-2-88074-072-6 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics 26-XX Real functions :26EXX Miscellaneous topics :26E35 Nonstandard analysis Mots-clés : invariant mean  schr?ger equation  stone-weierstra?theorem  invariant subspace  internal set theory  infinitesimals  nonstandard analysis Index. décimale : 03C Monographie

Exemplaires

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

Axiom of choice / Horst Herrlich

Public ISBD Titre : Axiom of choice Type de document : texte imprimé Auteurs : Horst Herrlich, Auteur Editeur : Springer-Verlag Année de publication : 2006 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 1876 Importance : xiv, 194 p. Présentation : fig. Format : 24 cm ISBN/ISSN/EAN : 978-3-540-30989-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:03EXX Set theory:03E25 Axiom of choice and related propositions Mots-clés : axiom of choice  mathematical logic Index. décimale : 03C Monographie Axiom of choice [texte imprimé] / Horst Herrlich, Auteur . - [S.l.] : Springer-Verlag, 2006 . - xiv, 194 p. : fig. ; 24 cm. - (Lecture Notes in Mathematics, ISSN 0075-8434; 1876) . ISBN : 978-3-540-30989-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:03EXX Set theory:03E25 Axiom of choice and related propositions Mots-clés : axiom of choice  mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18342	LNM/1876	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Axiomatic set theory / Suppes, P.

Permalink

Axiomatic set theory / P. Bernays

Permalink

Basic proof theory / Troelstra, A.

Permalink

Brains, machines and mathematics / Arbib, Michael A.

Permalink

Completeness, compactnss, and undecidability / Manaster, Alfred B.

Permalink

Conceptual mathematics / Francis William Lawvere

Permalink

a Course in mathematical logic / Yuri Ivanovich Manin

Permalink

A course in mathematical logic for mathematicians / Yuri Ivanovich Manin

Permalink

a Course in Model Theory / Poizat, B.

Permalink

Degrees of unsolvability / Epstein, Richard L.

Permalink

---

page /5