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
- Benthem, Johan van (1)
- Cantini, Andrea (1)
- Chong, C.-T. (1)
- Conference in Mathem... (1)
- Dalen, D. van (1)
- Fenstad, Jens Erik (1)
- Gabbay, Dov M. (1)
- Hodges, Wilfrid (1)
- Lascar, D. (1)
- Leblanc, Hugues (1)
- Metakides, George (1)
- Meulen, Alice G. B. ... (1)
- Monk, J. Donald (1)
- Müller, G. H. (1)
- Oberschelp, Arnold (1)
- Potthoff, Karl (1)
- Rybakov, Vladimir V. (1)
- Smiley, T. J. (1)
- Wicks, M. J. (1)
- Afficher plus
- Afficher moins
Sites de rattachement
- La bibliothèque des Sciences Exactes et Naturelles (3)
Types de document
- Livre (3)
- Ebook (9)
Collection
- Graduate texts in ma... (1)
- Lecture notes in mat... (1)
- Lecture notes in mat... (1)
- Studies in logic and... (7)
- Studies in logic and... (1)
Sujets
- Inference (1)
- Linguistics (1)
- Linguistique (1)
- Logic, Symbolic and ... (17)
- Logica (3)
- Logica matematica (3)
- Logik (1)
- logique mathématique (2)
- logique non monotone (1)
- logique symbolique (2)
- Logique symbolique e... (12)
- MATHEMATICS (2)
- Mathematische Logik (2)
- Natural language pro... (1)
- Semantics (2)
- Sémantique (1)
- Truth (1)
- Wiskundige logica (4)
- Afficher plus
- Afficher moins

		Conference in Mathematical Logic, London '70. Publication : Berlin \| New York Springer-Verlag 1972 . vi, 351 pages , Held at Bedford College, London, on 24th-28th August 1970. 26 cm. Date : 1972 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / Publication : Berlin ; \| New York : Springer-Verlag, 1975 . iv, 651 pages ; , English or French. \| Chiefly comprised of selected course lecture notes from the institute, July 17-31, 1974, and selected papers from the conference, Aug. 1-3, 1974. 25 cm. Date : 1975 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Mathematical logic / par Monk, J. Donald Publication : New York : Springer-Verlag, 1976 . x, 531 p. ; 25 cm. Date : 1976 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver 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)
		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 logic and language / Publication : . 1 online resource (xxiii, 1247 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444817143, Ajouter au panier (Supprimer)
		Handbook of the logic of argument and inference : the turn towards the practical / Publication : . 1 online resource (x, 498 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444506504, http://www.sciencedirect.com/science/publication?issn=15702464&volume=1, 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)
		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)
		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)
		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)
		Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / Publication : . 1 online resource ([viii], 317 pages) , Sponsored by the College of Liberal Arts of Temple University and the Association for Symbolic Logic. Disponibilité : http://www.sciencedirect.com/science/book/9780720422696, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Sites de rattachement

Types de document

Collection

Sujets

Votre recherche a retourné 12 résultats.