Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:Mathématiques'

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Arnold, A. (1)
- Barwise, Jon (1)
- Brouwer, L. E. J. (1)
- Dalen, D. van (1)
- Fenstad, Jens Erik (1)
- Fraenkel, Abraham Ad... (2)
- Harrington, L. A. (1)
- Hilpinen, Risto (1)
- Jacobs, Bart (1)
- Keisler, H. Jerome (1)
- Kleene, Stephen Cole (1)
- Kunen, Kenneth (1)
- Lakatos, Imre (1)
- Longo, G. (1)
- Lévy, Azriel (1)
- Marcja, A. (1)
- Niwiński, Damian (1)
- Robinson, Abraham (1)
- Shapiro, Stewart (1)
- Troelstra, A. S. (1)
- Afficher plus
- Afficher moins
Types de document
- Ebook (14)
Collection
- Its Proceedings (1)
- Studies in logic and... (14)
Sujets
- Algebraic logic (1)
- Categories (Mathemat... (2)
- Catégories (Mathémat... (3)
- Combinatory logic (1)
- Ensembles, Théorie d... (2)
- Intuitionistic mathe... (2)
- Intuïtionisme (2)
- Logic, Symbolic and ... (1)
- Mathematics (5)
- MATHEMATICS (2)
- Mathematik (2)
- Mathématiques (4)
- Mathématiques intuit... (2)
- Modality (Logic) (1)
- Recursive functions (1)
- Science (1)
- Sciences (1)
- Set theory (2)
- Wiskunde (2)
- Wiskundige logica (2)
- Afficher plus
- Afficher moins

		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)
		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)
		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)
		The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / Publication : . 1 online resource (xx, 425 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444853455, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=101, Ajouter au panier (Supprimer)
		The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / Publication : . 1 online resource (ix, 523 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444864949, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=110, Ajouter au panier (Supprimer)
		Problems in the philosophy of mathematics / Publication : . 1 online resource (xv, 241 pages). , "Organized jointly by the British Society for the Philosophy of Science and the London School of Economics and Political Science, under the auspices of the Division of Logic, Methodology, and Philosophy of Science of the International Union of [the] Histo, y and Philosophy of Science." Disponibilité : http://www.sciencedirect.com/science/book/9780444534118, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=47, Ajouter au panier (Supprimer)
		Intentional mathematics / Publication : . 1 online resource. , Cataloging based on CIP information. Disponibilité : http://www.sciencedirect.com/science/book/9780444876324, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=113, Ajouter au panier (Supprimer)
		Harvey Friedman's research on the foundations of mathematics / Publication : . 1 online resource (xvi, 408 pages) : , "Harvey Friedman's publications."--P. 405-408. Disponibilité : http://www.sciencedirect.com/science/book/9780444878342, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=117, Ajouter au panier (Supprimer)
		Logic, methodology, and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987 / Publication : . 1 online resource (xvii, 702 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444705204, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=126, Ajouter au panier (Supprimer)
		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 (Supprimer)
		Foundations of set theory par Fraenkel, Abraham Adolf, Publication : . 1 online resource (x, 415 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444533883, Ajouter au panier (Supprimer)
		Algebra of proofs / Publication : . 1 online resource (xii, 297 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780720422863, Ajouter au panier (Supprimer)
		Elementary induction on abstract structures / par Moschovakis, Yiannis N. Publication : . 1 online resource (x, 218 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444105370, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 14 résultats.