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

Results
		Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering : AMINSE 2017, Tbilisi, Georgia, December 6-9 / edited by George Jaiani, David Natroshvili. by Jaiani, George [რედაქტორი] Natroshvili, David [რედაქტორი] Series: Springer Proceedings in Mathematics & Statistics ; 276 Material type: Text; Format: print available online ; Literary form: Not fiction Language: English Publisher: Cham, Switzerland : Springer, ©2019 Online resources: ZZ Volltext Click here to access online Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		An invitation to applied category theory : seven sketches in compositionality / Brendan Fong, David I. Spivak. by Fong, Brendan, 1988- [author.] Spivak, David I, 1978- [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2019 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Justification logic : reasoning with reasons / Sergei Artemov, Melvin Fitting. by Artemov, S. N [author.] Fitting, Melvin, 1942- [author.] Series: Cambridge tracts in mathematics ; 216. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2019 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Model theory and the philosophy of mathematical practice : formalization without foundationalism / John T. Baldwin. by Baldwin, John T [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2018 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning / Bob Coecke, University of Oxford, Aleks Kissinger, Radbound University. by Coecke, Bob [author.] Kissinger, Aleks [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2017 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		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)

National Science Library of Georgia

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 100 results.