Your search returned 20 results.

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)
		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)
		Logic Colloquium 2007 / edited by Françoise Delon [and others]. by Logic Colloquium (2007 : Wrocław, Poland) Delon, F. (Françoise) [editor.] Association for Symbolic Logic [host institution.] Series: Lecture Notes in Logic Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2010 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium 2006 / edited by S. Barry Cooper [and three others]. by Logic Colloquium (2006 : Nijmegen, Netherlands) Cooper, S. B. (S. Barry) [editor.] Series: Lecture notes in logic ; 32. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2009 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 / edited by Costas Dimitracopoulos [and three others]. by Logic Colloquium (2005 : Athens, Greece) Dimitracopoulos, Costas [editor.] Association for Symbolic Logic [host institution.] Series: Lecture notes in logic ; 28. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2007 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 / edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella. by Logic Colloquium (2004 : Torino, Italy) Andretta, Alessandro, 1960- [editor.] Kearnes, Keith [editor.] Zambella, Domenico [editor.] Association for Symbolic Logic [host institution.] Series: Lecture notes in logic ; 29. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2007 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. by Logic Colloquium (1997 : Leeds, England) Cooper, S. B. (S. Barry) [editor.] Truss, J. K [editor.] Association for Symbolic Logic [host institution.] Series: London Mathematical Society lecture note series ; 259. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1999 Other title: Models & Computability Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. by Girard, Jean-Yves [editor.] Lafont, Yves [editor.] Regnier, Laurent [editor.] Series: London Mathematical Society lecture note series ; 222. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1995 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Logic and data bases / edited by Hervé Gallaire and Jack Minker. by Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse 1977 Gallaire, Hervé Minker, Jack Material type: Text Publication details: New York : Plenum Press, c1978 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 517.11. Place hold Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

National Science Library of Georgia

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 20 results.