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

		Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / Publication : . 1 online resource (xii, 392 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444854025, Ajouter au panier (Supprimer)
		Foundational studies : selected works. Volume II / Publication : . 1 online resource (1 volumes) , Some of the papers translated from Polish, French or German. Disponibilité : http://www.sciencedirect.com/science/book/9780444851031, 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)
		Languages with expressions of infinite length / Publication : . 1 online resource (xix, 183 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444534019, Ajouter au panier (Supprimer)
		Formal systems and recursive functions / Publication : . 1 online resource (v, 320 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444534057, Ajouter au panier (Supprimer)
		Logic, methodology and philosophy of science : proceedings of the 1960 international congress / Publication : . 1 online resource (vi, 661 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780804700962, Ajouter au panier (Supprimer)
		Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 / Publication : . 1 online resource (v, 331 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444534101, Ajouter au panier (Supprimer)
		Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 / Publication : . 1 online resource (x, 981 pages) , Jointly sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science and the Academy of the Socialist Republic of Rumania. \| Text in English, French, German, and Russian. Disponibilité : http://www.sciencedirect.com/science/book/9780444104915, Ajouter au panier (Supprimer)
		Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / Publication : . 1 online resource (x, 612 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780720406917, Ajouter au panier (Supprimer)
		The axiomatic method / Publication : . 1 online resource (xi, 488 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444533920, Ajouter au panier (Supprimer)
		Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 / Publication : . 1 online resource (xi, 298 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444534149, Ajouter au panier (Supprimer)
		The collected papers of Gerhard Gentzen / Publication : . 1 online resource (viii, 338 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444534194, Ajouter au panier (Supprimer)
		Foundational studies : selected works. Volume I / Publication : . 1 online resource (1 volumes) , Some of the papers translated from Polish, French or German. Disponibilité : http://www.sciencedirect.com/science/book/9780444851024, Ajouter au panier (Supprimer)
		Intuitionism : an introduction / Publication : . 1 online resource (viii, 133 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780444533821, 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)
		The logical systems of Lesniewski. par Luschei, Eugene C. Publication : . 1 online resource (vii, 361 pages). Disponibilité : http://www.sciencedirect.com/science/book/9780444533951, Ajouter au panier (Supprimer)
		Contributions to non-standard analysis Publication : . 1 online resource (vi, 291 pages). Disponibilité : http://www.sciencedirect.com/science/book/9780720420654, Ajouter au panier (Supprimer)
		The Big Typescript, TS. 213 / par Wittgenstein, Ludwig, Publication : Malden, MA : Blackwell Pub., 2005 . xviii, 516 p. ; 25 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des lettres et sciences humaines et sociales (1), Réserver Ajouter au panier (Supprimer)
		Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning / par Coecke, Bob, Publication : Cambridge ; \| New York : Cambridge University Press, 2017 . xvii, 827 pages : 25 cm Date : 2017 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver 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.