Results of search for 'ccl=(su:{Logic, Symbolic and mathematical.})' › ეროვნული სამეცნიერო ბიბლიოთეკა : National Science Library catalog

Results
		Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 / edited by Matthias Baaz, Sy-David Friedman, Jan Krajíček. by Logic Colloquium (2001 : Vienna, Austria) Baaz, Matthias [editor.] Friedman, Sy D, 1953- [editor.] Krajíček, Jan [editor.] Series: Lecture notes in logic ; 20. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic in Tehran : proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, held October 18-22, 2003 / edited by Ali Enayat, Iraj Kalantari, Mojtaba Moniri. by Workshop and Conference on Logic, Algebra, and Arithmetic (2003 : Tehran, Iran) Enayat, Ali, 1959- [editor.] Kalantari, Iraj, 1947- [editor.] Moniri, Mojtaba, 1961- [editor.] Series: Lecture notes in logic ; 26. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 / edited by Viggo Stoltenberg-Hansen, Jouko Väänänen. by Logic Colloquium (2003 : Helsinki, Finland) Stoltenberg-Hansen, Viggo [editor.] Väänänen, J. (Jouko), 1950- [editor.] Series: Lecture notes in logic ; 24. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 / edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers. by Logic Colloquium '02 (2002 : Münster, Germany) Chatzidakis, Zoé Maria [editor.] Koepke, Peter [editor.] Pohlers, Wolfram [editor.] Series: Lecture notes in logic ; 27. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 / edited by Jan Van Eijck, Vincent Van Oostrom, Albert Visser. by Logic Colloquium (1999 : Utrecht, Netherlands) Eijck, J. van (Jan) [editor.] Oostrom, Vincent van, 1966- [editor.] Visser, Albert [editor.] Series: Lecture Notes in Logic ; 17 \| Lecture Notes in Logic ; 17. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy / edited by Petr Hájek. by Gödel '96 (1996 : Brno, Czech Republic) Hájek, Petr [editor.] Series: Lecture notes in logic ; 6. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 / edited by Johann A. Makowsky, Elena V. Ravve. by Logic Colloquium (1995 : Haifa, Israel) Makowsky, Johann A, 1948- [editor.] Ravve, Elena V, 1963- [editor.] Series: Lecture notes in logic ; 11. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium '96 / edited by J. M. Larrazabal, D. Lascar, G. Mints. by Logic Colloquium (1996 : San Sebastián, Spain) Larrazabal, Jesús M [editor.] Lascar, D. (Daniel), 1942- [editor.] Mint͡s, G. E [editor.] Series: Lecture notes in logic ; 12. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium '90 : ASL summer meeting in Helsinki / edited by Juha Oikkonen, Jouko Väänänen. by Logic Colloquium (1990 : Helsinki, Finland) Oikkonen, J. (Juha), 1951- [editor.] Väänänen, J. (Jouko), 1950- [editor.] Series: Lecture notes in logic ; 2. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium 2000 : Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000 / edited by René Cori [and three others]. by Logic Colloquium (2000 : Paris, France) Cori, René [editor.] Association for Symbolic Logic [host institution.] Series: Lecture Notes in Logic ; 19. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák. by Logic Colloquium (1998 : Prague, Czech Republic) Buss, Samuel R [editor.] Hájek, Petr [editor.] Pudlák, Pavel, 1952- [editor.] Series: Lecture notes in logic ; 13. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		The Notre Dame lectures / edited by Peter Cholak. by Cholak, Peter, 1962- [editor.] Series: Lecture notes in logic ; 18. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logicism renewed : logical foundations for mathematics and computer science / Paul C. Gilmore. by Gilmore, Paul C. (Paul Carl), 1925- [author.] Series: Lecture notes in logic ; 23. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Intensionality / edited by Reinhard Kähle. by Kahle, Reinhard, 1967- [editor.] Series: Lecture notes in logic ; 22. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Reflections on the foundations of mathematics : essays in honor of Solomon Feferman / edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott. by Sieg, Wilfried, 1945- [editor.] Sommer, Richard, 1961- [editor.] Talcott, Carolyn [editor.] Feferman, Solomon [honoree.] Series: Lecture notes in logic ; 15. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Inexhaustibility : a non-exhaustive treatment / Torkel Franzén. by Franzén, Torkel [author.] Series: Lecture notes in logic ; 16. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic and algebraic structures in quantum computing / edited by Jennifer Chubb, Ali Eskandarian, Valentina Harizanov. by Chubb, Jennifer [editor.] Eskandarian, Ali [editor.] Harizanov, Valentina S [editor.] Series: Lecture notes in logic ; no. 45. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Other title: Logic & Algebraic Structures in Quantum Computing Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		A guide to NIP theories / Pierre Simon, CNRS, Université Lyon I. by Simon, Pierre, 1985- [author.] Series: Lecture notes in logic ; 44. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2015 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / edited by Juliette Kennedy, Roman Kossak. by Kennedy, Juliette, 1955- [editor.] Kossak, Roman, 1953- [editor.] Series: Lecture notes in logic ; 36. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011 Other title: Set Theory, Arithmetic, & Foundations of Mathematics Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics / Robert Goldblatt. by Goldblatt, Robert [author.] Series: Lecture notes in logic ; 38. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011 Other title: Quantifiers, Propositions & Identity Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

National Science Library of Georgia

Refine your search

Availability

Authors

Series

Topics

Your search returned 26 results.