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

Results
		The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition / Bernard Linsky. by Linsky, Bernard [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Kurt Gödel : essays for his centennial / edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson. by Gödel, Kurt [editor.] Feferman, Solomon [editor.] Parsons, Charles, 1933- [editor.] Simpson, Stephen G. (Stephen George), 1945- [editor.] Series: Lecture notes in logic ; 33. 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)
		A framework for priority arguments / Manuel Lerman. by Lerman, M. (Manuel), 1943- [author.] Series: Lecture notes in logic ; 34. 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)
		Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. by Cook, Stephen, 1948- [author.] Nguyen, Phuong, 1977- [author.] Series: Perspectives 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)
		Grammatical inference : learning automata and grammars / Colin de la Higuera. by De la Higuera, Colin [author.] 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 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)
		Purity, spectra and localisation / Mike Prest. by Prest, Mike [author.] Series: Encyclopedia of mathematics and its applications ; v. 121. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2009 Other title: Purity, Spectra & Localisation 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)
		An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities / George Boole. by Boole, George, 1815-1864 [author.] Series: Cambridge library collection 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)
		Mathematics, models, and modality : selected philosophical essays / John P. Burgess. by Burgess, John P, 1948- [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2008 Other title: Mathematics, Models, & Modality Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		An introduction to Gödel's Theorems / Peter Smith. by Smith, Peter, 1944- [author.] Series: Cambridge introductions to philosophy 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)
		The mathematics of logic : a guide to completeness theorems and their applications / Richard Kaye. by Kaye, Richard (Richard W.) [author.] 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)
		Computability and logic / George S. Boolos, John P. Burgess , Richard C. Jeffrey. by Boolos, George [author.] Burgess, John P, 1948- [author.] Jeffrey, Richard C [author.] Edition: Fifth edition. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2007 Other title: Computability & Logic 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)
		Rippling : meta-level guidance for mathematical reasoning / Alan Bundy [and three others]. by Bundy, Alan [author.] Series: Cambridge tracts in theoretical computer science ; 56. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2005 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Phenomenology, logic, and the philosophy of mathematics / Richard Tieszen. by Tieszen, Richard L [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2005 Other title: Phenomenology, Logic, & the Philosophy of Mathematics Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Lectures in logic and set theory. Volume 1, Mathematical logic / George Tourlakis. by Tourlakis, George J [author.] Series: Cambridge studies in advanced mathematics ; 82. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2003 Other title: Lectures in Logic & Set Theory Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Lectures in logic and set theory. Volume 2, Set theory / George Tourlakis. by Tourlakis, George J [author.] Series: Cambridge studies in advanced mathematics ; 83. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2003 Other title: Lectures in Logic & Set Theory Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Paradox and paraconsistency : conflict resolution in the abstract sciences / John Woods. by Woods, John (John Hayden) [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2003 Other title: Paradox & Paraconsistency 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

Holding libraries

Item types

Locations

Series

Topics

Your search returned 100 results.