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

		A theory of sets / par Morse, Anthony P. Publication : . 1 online resource (xxxi, 130 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780123745675, http://www.sciencedirect.com/science/publication?issn=00798169&volume=18, Ajouter au panier (Supprimer)
		Intensional and higher-order modal logic : with applications to Montague semantics / par Gallin, Daniel. Publication : . 1 online resource (vii, 148 pages) , Originally presented as the author's thesis, University of California, Berkeley, 1972. Disponibilité : http://www.sciencedirect.com/science/book/9780444110022, http://www.sciencedirect.com/science/publication?issn=03040208&volume=19, 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)
		Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / Publication : . 1 online resource (434 pages) , International conference proceedings. Disponibilité : http://www.sciencedirect.com/science/book/9780444853783, 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)
		Logic, automata, and algorithms / Publication : . 1 online resource (xii, 433 pages) : , Originally published as 'Logika, avtomaty, algoritmy'. Moscow: Literatury, 1963. Disponibilité : http://www.sciencedirect.com/science/book/9780120463503, Ajouter au panier (Supprimer)
		Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 / Publication : . 1 online resource (516 pages) Disponibilité : http://www.sciencedirect.com/science/book/9780720422573, Ajouter au panier (Supprimer)
		Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 / Publication : . 1 online resource (xiii, 308 pages) : , English and French text. Disponibilité : http://www.sciencedirect.com/science/book/9780444702111, Ajouter au panier (Supprimer)
		Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / Publication : . 1 online resource (x, 311 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444851789, 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.