Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'se:Studies in logic and the foundations of mathematics '

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Braffort, P. (2)
- Crossley, John N. (3)
- Curry, Haskell B. (3)
- Dalen, D. van (3)
- Fenstad, Jens Erik (3)
- Fitting, Melvin (2)
- Fraenkel, Abraham Ad... (3)
- Gandy, R. O. (3)
- Heyting, A. (2)
- Hirschberg, D. (2)
- Keisler, H. Jerome (3)
- Kunen, Kenneth (2)
- Kuratowski, Kazimier... (4)
- Lakatos, Imre (2)
- Mostowski, Andrzej (7)
- Odifreddi, Piergiorg... (2)
- Robinson, Abraham (5)
- Rubin, Herman (2)
- Suppes, Patrick (4)
- Tarski, Alfred (5)
- Afficher plus
- Afficher moins
Types de document
- Ebook (134)
Collection
- Its Proceedings (2)
- Studies in logic and... (101)
- Studies in Logic and... (32)
- Studies in logic and... (1)
Sujets
- Algebraic logic (5)
- Axiomatic set theory (5)
- Ensembles, Théorie d... (7)
- Intuitionistic mathe... (4)
- Logic, Symbolic and ... (63)
- Logica (7)
- Logique symbolique e... (27)
- MATHEMATICS (20)
- Mathematics (7)
- MATHEMATICS / Infini... (13)
- MATHEMATICS / Logic (13)
- Modality (Logic) (5)
- Model theory (9)
- Proof theory (5)
- Recursion theory (9)
- Science (8)
- Set theory (12)
- Verzamelingen (wisku... (7)
- Afficher plus
- Afficher moins

		Relation algebras / par Maddux, R. D. Publication : . 1 online resource (xxvi, 731 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444520135, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=150, Ajouter au panier (Supprimer)
		Logical frameworks for truth and abstraction : an axiomatic study / par Cantini, Andrea. Publication : . 1 online resource (xii, 461 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444823069, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=135, Ajouter au panier (Supprimer)
		Handbook of computability theory / Publication : . 1 online resource (xii, 727 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444898821, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=140, Ajouter au panier (Supprimer)
		Categorical logic and type theory / par Jacobs, Bart. Publication : . 1 online resource (xviii, 760 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444501707, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=141, Ajouter au panier (Supprimer)
		Admissibility of logical inference rules / par Rybakov, Vladimir V. Publication : . 1 online resource (617 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444895059, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=136, Ajouter au panier (Supprimer)
		Handbook of proof theory / Publication : . 1 online resource (811 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444898401, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=137, Ajouter au panier (Supprimer)
		Tools and techniques in modal logic / par Kracht, Marcus. Publication : . 1 online resource (xiii, 559 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444500557, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=142, Ajouter au panier (Supprimer)
		Theory of relations / par Fraïssé, Roland. Publication : . 1 online resource (451 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444505422, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=145, Ajouter au panier (Supprimer)
		Relation algebras by games / par Hirsch, R. Publication : . 1 online resource (xvii, 691 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444509321, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=147, Ajouter au panier (Supprimer)
		Many-dimensional modal logics : theory and applications / Publication : . 1 online resource (xviii, 747 pages). Disponibilité : http://www.sciencedirect.com/science/book/9780444508263, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=148, Ajouter au panier (Supprimer)
		Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / Publication : . 1 online resource (xiv, 989 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444893413, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=134, Ajouter au panier (Supprimer)
		Computable structures and the hyperarithmetical hierarchy / par Ash, C. J. Publication : . 1 online resource (xv, 346 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444500724, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=144, Ajouter au panier (Supprimer)
		Rudiments of [mu]-calculus / par Arnold, A. Publication : . 1 online resource (xvii, 277 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444506207, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=146, Ajouter au panier (Supprimer)
		Handbook of recursive mathematics / Publication : . 1 online resource (2 volumes (xlvi, 1372 pages)) : Disponibilité : http://www.sciencedirect.com/science/book/9780444500038, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=138, Ajouter au panier (Supprimer)
		Handbook of recursive mathematics / Publication : . 1 online resource (2 volumes (xlvi, 1372 pages)) : Disponibilité : http://www.sciencedirect.com/science/book/9780444501066, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=139, Ajouter au panier (Supprimer)
		Classical recursion theory : the theory of functions and sets of natural numbers / par Odifreddi, Piergiorgio, Publication : . 1 online resource (2 volumes) : , Vol. 2 lacks other title information. \| "First edition 1999"--V. 2, t.p. verso. \| Vol. 2 published: Amsterdam ; New York : Elsevier. Disponibilité : http://www.sciencedirect.com/science/book/9780444502056, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=143, Ajouter au panier (Supprimer)
		Lectures on the Curry-Howard isomorphism / par Sørensen, Morten Heine. Publication : . 1 online resource (xiv, 442 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444520777, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=149, Ajouter au panier (Supprimer)
		Equivalents of the axiom of choice, II / par Rubin, Herman. Publication : . 1 online resource (xxviii, 322 pages) , Includes indexes. Disponibilité : http://www.sciencedirect.com/science/book/9780444877086, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=116, Ajouter au panier (Supprimer)
		Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 / Publication : . 1 online resource (viii, 358 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444868763, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=112, Ajouter au panier (Supprimer)
		Foundations of set theory / par Fraenkel, Abraham Adolf, Publication : . 1 online resource (x, 404 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780720422702, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=67, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 134 résultats.