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
- Crossley, John N. (3)
- Dalen, D. van (2)
- Edwards, Harold M. (1)
- Gandy, R. O. (3)
- Kuratowski, Kazimier... (2)
- Macintyre, Angus (1)
- Marcja, A. (1)
- Meulen, Alice G. B. ... (1)
- Mostowski, Andrzej (3)
- Nagel, Ernest (1)
- Paris, J. B. (2)
- Prawitz, Dag (1)
- Pumplun (1)
- Richter, Michael M. (1)
- Robinson, Abraham (2)
- Skolem, Th (1)
- Srivastava, S. M. (1)
- Suppes, Patrick (3)
- Tarski, Alfred (2)
- Wicks, M. J. (1)
- Afficher plus
- Afficher moins
Sites de rattachement
Types de document
- Livre (28)
- Ebook (51)
Collection
- Annals of discrete m... (1)
- Cambridge tracts in ... (1)
- Cognitive technologi... (1)
- Collected works of A... (1)
- Encyclopedia of math... (1)
- Graduate texts in ma... (1)
- Lecture notes in log... (1)
- Lecture notes in mat... (3)
- Lecture notes in mat... (1)
- Mathematics in scien... (1)
- North-Holland mathem... (1)
- Publications of the ... (1)
- Studies in logic and... (31)
- Studies in Logic and... (10)
- Studies in logic and... (1)
- Synthese library (1)
- The Western Ontario ... (1)
- Afficher plus
- Afficher moins
Sujets
- Logic, Symbolic and ... (103)
- Logica (3)
- Logica matematica (3)
- Logique symbolique e... (32)
- Mathematics (10)
- MATHEMATICS (9)
- MATHEMATICS / Genera... (3)
- MATHEMATICS / Logic (3)
- Mathematische Logik (3)
- Modality (Logic) (2)
- Nonstandard mathemat... (2)
- Proof theory (5)
- Recursive functions (2)
- Science (4)
- Semantics (Philosoph... (3)
- Set theory (9)
- Wiskundige logica (4)
- Afficher plus
- Afficher moins

		Semantics and logics of computation Publication : Cambridge \| New York Cambridge University Press. 1997 . xii, 361 pages 23 cm. Date : 1997 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Strict finitism and the logic of mathematical applications par Ye, Feng, Publication : Dordrecht \| New York Springer Science. 2011 . xii, 272 pages 25 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Universal logic an anthology : from Paul Hertz to Dov Gabbay Publication : Basel : \| London Birkhäuser \| Springer [distributor] 2012 . xviii, 410 pages 24 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des lettres et sciences humaines et sociales (1), Réserver Ajouter au panier (Supprimer)
		A course on mathematical logic / par Srivastava, S. M. Publication : New York, NY : Springer, 2013 . 1 online resource. Date : 2013 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)
		Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 Part II / par Börger, Egon. Publication : Berlin, Heidelberg : Springer Berlin Heidelberg, 1984 . 1 online resource (viii, 475 pages .). Date : 1984 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)
		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)
		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)
		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)
		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)
		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)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Sites de rattachement

Types de document

Collection

Sujets

Votre recherche a retourné 79 résultats.