Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=pb:Elsevier Science,'

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Brouwer, L. E. J. (1)
- Börger, E. (1)
- Dalen, D. van (2)
- Ferro, R. (1)
- Freudenthal, Hans (1)
- Harrington, L. A. (1)
- Hilpinen, Risto (1)
- Jacobs, Bart (1)
- Keisler, H. Jerome (1)
- Odifreddi, Piergiorg... (1)
- Robinson, Abraham (1)
- Rosser, J. Barkley (1)
- Rubin, Herman (1)
- Rubin, Jean E. (1)
- Shapiro, Stewart (1)
- Troelstra, A. S. (1)
- Turquette, Atwell R. (1)
- Wang, Hao (1)
- Wicks, M. J. (1)
- Wright, G. H. von (1)
- Afficher plus
- Afficher moins
Types de document
- Ebook (27)
Collection
- Studies in logic and... (20)
- Studies in Logic and... (7)
Sujets
- Axiom of choice (1)
- Ensembles, Théorie d... (1)
- Fonctions calculable... (1)
- Logic, Symbolic and ... (15)
- Logique symbolique e... (7)
- Many-valued logic (1)
- MATHEMATICS (5)
- Mathematics (3)
- Mathematische Logik (2)
- Modality (Logic) (2)
- Model theory (2)
- Modèles, Théorie des (2)
- Science (2)
- Sciences (1)
- Semantics (Philosoph... (1)
- Truth (1)
- Verzamelingen (wisku... (2)
- Wiskundige logica (4)
- Afficher plus
- Afficher moins

		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)
		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)
		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)
		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)
		Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 / Publication : . 1 online resource (xi, 384 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444864178, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=107, 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)
		Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 / Publication : . 1 online resource (xiv, 210 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444867063, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=111, Ajouter au panier (Supprimer)
		Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 / Publication : . 1 online resource (viii, 403 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444874559, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=127, Ajouter au panier (Supprimer)
		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 (Supprimer)
		Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / Publication : . 1 online resource (ix, 391 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444864765, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=109, 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 Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 / Publication : . 1 online resource (x, 375 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444880222, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=129, Ajouter au panier (Supprimer)
		Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / par Hailperin, Theodore. Publication : . 1 online resource (xii, 428 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444879523, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=85, Ajouter au panier (Supprimer)
		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 (Supprimer)
		Theory of relations / par Fraïssé, Roland. Publication : . 1 online resource (xii, 397 pages). , Translation of: Théorie des relations. Disponibilité : http://www.sciencedirect.com/science/book/9780444878656, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=118, 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)
		Computability, complexity, logic / par Börger, E. Publication : . 1 online resource (xx, 592 pages) : , Translation of: Berechenbarkeit, Komplexität, Logik. Disponibilité : http://www.sciencedirect.com/science/book/9780444874061, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128, Ajouter au panier (Supprimer)
		Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic / Publication : . 1 online resource (x, 342 pages). , Papers prepared for a conference which was planned for Aug. 24-30, 1980 in Prague, but which was never held. Disponibilité : http://www.sciencedirect.com/science/book/9780444864659, Ajouter au panier (Supprimer)
		Outlines of a formalist philosophy of mathematics / Publication : . 1 online resource. Disponibilité : http://www.sciencedirect.com/science/book/9780444533685, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 27 résultats.