Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:Logic, Symbolic and mathematical'

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Börger, E. (1)
- Crossley, John N. (3)
- Dalen, D. van (2)
- Gandy, R. O. (2)
- Heyting, A. (1)
- Kuratowski, Kazimier... (2)
- Luschei, Eugene C. (1)
- Macintyre, Angus (1)
- Marcja, A. (1)
- Mostowski, Andrzej (3)
- Nagel, Ernest (1)
- Pacholski, Leszek (1)
- Paris, J. B. (2)
- Prawitz, Dag (1)
- Robinson, Abraham (2)
- Skolem, Th (1)
- Suppes, Patrick (3)
- Tarski, Alfred (2)
- Wang, Hao (1)
- Wicks, M. J. (1)
- Afficher plus
- Afficher moins
Types de document
- Ebook (42)
Collection
- Studies in logic and... (31)
- Studies in Logic and... (10)
- Studies in logic and... (1)
Sujets
- Fonctions calculable... (1)
- Inference (1)
- Logic, Symbolic and ... (63)
- Logique symbolique e... (22)
- MATHEMATICS (6)
- Mathematics (1)
- MATHEMATICS / Genera... (2)
- MATHEMATICS / Infini... (3)
- MATHEMATICS / Logic (3)
- Methodology (2)
- Méthodologie (2)
- Nonstandard mathemat... (2)
- Recursive functions (2)
- Science (4)
- Sciences (2)
- Semantics (Philosoph... (2)
- Set theory (3)
- 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)
		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)
		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)
		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)
		Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 / Publication : . 1 online resource (xiv, 856 pages). Disponibilité : http://www.sciencedirect.com/science/book/9780444854230, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=104, 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 '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 / Publication : . 1 online resource (x, 377 pages) : , Includes one chapter in French. Disponibilité : http://www.sciencedirect.com/science/book/9780444879998, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=120, 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)
		Mathematical interpretation of formal systems Publication : . 1 online resource (viii, 113 pages) , "Contains the lectures, held at the symposion [sic] on 'Mathematical interpretation of formal systems' which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954." Disponibilité : http://www.sciencedirect.com/science/book/9780444533814, Ajouter au panier (Supprimer)
		Constructive order types par Crossley, John N. Publication : . 1 online resource (225 pages). Disponibilité : http://www.sciencedirect.com/science/book/9780444534200, Ajouter au panier (Supprimer)
		Non-standard analysis. par Robinson, Abraham, Publication : . 1 online resource (xi, 293 pages) , On label mounted on t.p.: New York, Humanities Press. Disponibilité : http://www.sciencedirect.com/science/book/9780444534071, Ajouter au panier (Supprimer)
		Solvable cases of the decision problem. par Ackermann, W. Publication : . 1 online resource (114 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444533807, Ajouter au panier (Supprimer)
		Elements of mathematical logic (Model theory) par Kreisel, Georg. Publication : . 1 online resource (xi, 222 pages) , Translation of Eléments de logique mathématique, theorie des modéles. Disponibilité : http://www.sciencedirect.com/science/book/9780444534125, Ajouter au panier (Supprimer)
		Proceedings of the Second Scandinavian Logic Symposium Publication : . 1 online resource (413 pages) , Held June 18-20, 1970. \| A meeting of the Association for Symbolic Logic. Disponibilité : http://www.sciencedirect.com/science/book/9780720422597, Ajouter au panier (Supprimer)
		Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. / Publication : . 1 online resource (145 pages) , Joint sponsors: Mathematical Institute of Hebrew University of Jerusalem and International Mathematical Union. Disponibilité : http://www.sciencedirect.com/science/book/9780720422559, Ajouter au panier (Supprimer)
		Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 / Publication : . 1 online resource (xiv, 451 pages) , "Recognized as a meeting of the Association for Symbolic Logic and as a NATO Advanced Study Institute." \| "Supported by the Logic, Methodology and Philosophy of Science Division of the International Union for Philosophy and History of Science." Disponibilité : http://www.sciencedirect.com/science/book/9780720422610, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Types de document

Collection

Sujets

Votre recherche a retourné 42 résultats.