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
- Brady, Geraldine (1)
- Börger, E. (1)
- Cantini, Andrea (1)
- Chong, C.-T. (1)
- Dalen, D. van (1)
- Ebbinghaus, Heinz-Di... (1)
- Ferro, R. (1)
- Gandy, R. O. (1)
- Herbrand, Jacques (1)
- Jeroslow, Robert G. (1)
- Lascar, D. (1)
- Metakides, George (1)
- Mostowski, Andrzej (1)
- Smiley, T. J. (1)
- Stern, Jacques (1)
- Turing, Alan Mathiso... (1)
- Wang, Hao (1)
- Wicks, M. J. (1)
- Yates, C. E. M. (1)
- Afficher plus
- Afficher moins
Types de document
- Ebook (13)
Collection
- Annals of discrete m... (1)
- Collected works of A... (1)
- Studies in logic and... (8)
- Studies in Logic and... (2)
- Studies in the histo... (1)
Sujets
- Berekenbaarheid (1)
- Combinatorische logi... (1)
- Complexité de calcul... (1)
- Computable functions (1)
- Computational comple... (1)
- Decision making (1)
- Decision support sys... (1)
- Fonctions calculable... (1)
- Gödel's theorem (1)
- Lambda-calculus (1)
- Logic, Symbolic and ... (19)
- Logique symbolique e... (8)
- MATHEMATICS (4)
- MATHEMATICS / Genera... (1)
- Modale logica (1)
- Semantics (Philosoph... (1)
- Truth (1)
- Wiskundige logica (2)
- 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)
		From Peirce to Skolem : a neglected chapter in the history of logic / par Brady, Geraldine. Publication : . 1 online resource (xi, 468 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444503343, http://www.sciencedirect.com/science/publication?issn=09282017&volume=4, Ajouter au panier (Supprimer)
		Mathematical logic / par Turing, Alan Mathison, Publication : . 1 online resource (xii, 293 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444504234, Ajouter au panier (Supprimer)
		Logic-based decision support : mixed integer model formulation / par Jeroslow, Robert G., Publication : . 1 online resource (xv, 222 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444871190, http://www.sciencedirect.com/science/publication?issn=01675060&volume=40, 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)
		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)
		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)
		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)
		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)
		Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Publication : . 1 online resource (v, 117 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444533753, Ajouter au panier (Supprimer)
		A survey of mathematical logic / Publication : . 1 online resource (v, 651 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444533982, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 13 résultats.