Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Votre recherche a retourné 15 résultats.

Around classification theory of models par Shelah,, Saharon. Publication : [S.l.] Springer 2008 . 279 p. 24 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Aspects of constructibility par Devlin, K. J. Publication : [S.l.] Springer 1973 . 246 p. 24 cm. Date : 1973 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Set theory : boolean-valued models and independence proofs par Bell, John L. Publication : Oxford Clarendon Press 2005 . 1 vol. (VIII-191 p.) , This second edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory ,. It provides an exposition of some of the most important results in set theory obtained in the 20th century - the independence of the continuum hypothesis and the axiom of choice. Aimed at graduate students and researchers in mathematics, mathematical logic, philosophy, and computer science, the second edition has been extensively updated with expanded introductory material, new chapters, and a new appendix on category theory. It also includes recent developments in the field and numerous exercises, along with the enlarged and entirely updated background material. This new paperback edition includes additional corrections and, for the first time, will make this landmark text accessible to students in logic and set theory. 24 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
The axiom of determinacy, forcing axioms, and the nonstationary ideal par Woodin, W. Hugh, Publication : Berlin ; | New York : W. de Gruyter, 2010 . 1 vol. (VI-852 p.) ; 25 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Model theory / par Chang, Chen Chung, Publication : . 1 online resource (xvi, 650 pages) Disponibilité :  http://www.sciencedirect.com/science/book/9780444880543,  http://www.sciencedirect.com/science/publication?issn=0049237X&volume=73,

Ajouter au panier
Classification theory and the number of non-isomorphic models / par Shelah, Saharon. Publication : . 1 online resource (xxxiv, 705 pages) Disponibilité :  http://www.sciencedirect.com/science/book/9780444702609,  http://www.sciencedirect.com/science/publication?issn=0049237X&volume=92,

Ajouter au panier
Large infinitary languages : model theory / par Dickmann, M. A., Publication : . 1 online resource (xv, 464 pages). Disponibilité :  http://www.sciencedirect.com/science/book/9780444106223,

Ajouter au panier
Constructible sets with applications par Mostowski, Andrzej. Publication : . 1 online resource (ix, 269 pages). Disponibilité :  http://www.sciencedirect.com/science/book/9780444534217,

Ajouter au panier
Introduction to model theory and to the metamathematics of algebra. par Robinson, Abraham, Publication : . 1 online resource (ix, 284 pages) , Based on the author's thesis, University of London. Disponibilité :  http://www.sciencedirect.com/science/book/9780444533975,

Ajouter au panier
Intuitionistic logic, model theory and forcing. par Fitting, Melvin, Publication : . 1 online resource (191 pages). Disponibilité :  http://www.sciencedirect.com/science/book/9780444534187,

Ajouter au panier
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / par Keisler, H. Jerome. Publication : . 1 online resource (x, 208 pages) Disponibilité :  http://www.sciencedirect.com/science/book/9780720422580,

Ajouter au panier
The metamathematics of algebraic systems, collected papers: 1936-1967 / par Malʹt︠s︡ev, A. I. Publication : . 1 online resource (xviii, 494 pages) Disponibilité :  http://www.sciencedirect.com/science/book/9780720422665,

Ajouter au panier
Vous ne trouvez pas ce que vous cherchez ?
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha