Your search returned 11 results.

Results
		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)
		Effective mathematics of the uncountable / edited by Noam Greenberg, Victoria University of Wellington, Joel David Hamkins, City University of New York, Denis Hirschfeldt, University of Chicago, Russell Miller, City University of New York. by Greenberg, Noam, 1974- [editor.] Hamkins, Joel David [editor.] Hirschfeldt, Denis Roman [editor.] Miller, Russell (Professor of mathematics) [editor.] Association for Symbolic Logic [issuing body.] Series: Lecture notes in logic ; 41. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2013 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Lambda calculus with types / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others]. by Barendregt, H. P. (Hendrik Pieter) [author.] Dekkers, Wil [author.] Statman, Richard [author.] Alessi, Fabio [author.] Association for Symbolic Logic [issuing body.] Series: Perspectives in logic Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2013 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer. by Schwichtenberg, Helmut, 1942- [author.] Wainer, S. S [author.] Association for Symbolic Logic [issuing body.] Series: Perspectives in logic Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2012 Other title: Proofs & Computations 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)
		Subsystems of second order arithmetic / Stephen G. Simpson. by Simpson, Stephen G. (Stephen George), 1945- [author.] Association for Symbolic Logic [issuing body.] Series: Perspectives in logic Edition: Second edition. 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)
		Sets and proofs : 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 ; 258. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1999 Other title: Sets & Proofs 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)
		No cover image available Journal of philosophical logic [electronic resource]. by Association for Symbolic Logic Material type: Continuing resource; Format: print available online ; Type of continuing resource: periodical Publication details: Dordrecht, Boston, Kluwer Academic Publishers, etc. In: Academic Search Premier Online resources: Full text available 2/1/2003 - . (Due to publisher restrictions, the most recent 12 months are not available.). Available on EBSCOhost. Availability: No items available. Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.