Your search returned 14 results.

Results
		Proof complexity / Jan Krajíček. by Krajíček, Jan [author.] Series: Encyclopedia of mathematics and its applications ; 170. 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)
		Why is there philosophy of mathematics at all? / Ian Hacking. by Hacking, Ian [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2014 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Burden of proof, presumption and argumentation / Douglas Walton, University of Windsor, Canada. by Walton, Douglas N [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2014 Other title: Burden of Proof, Presumption & Argumentation 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)
		Proof analysis : a contribution to Hilbert's last problem / Sara Negri, Jan von Plato. by Negri, Sara, 1967- [author.] Von Plato, Jan [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)
		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)
		Linear logic in computer science / edited by Thomas Ehrhard [and others]. by Ehrhard, Thomas, 1958- [editor.] London Mathematical Society [issuing body.] Series: London Mathematical Society lecture note series ; 316. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2004 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Structural proof theory / Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta. by Negri, Sara, 1967- [author.] Von Plato, Jan [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2001 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Basic proof theory / A.S. Troelstra, H. Schwichtenberg. by Troelstra, A. S. (Anne Sjerp) [author.] Schwichtenberg, Helmut, 1942- [author.] Series: Cambridge tracts in theoretical computer science ; 43. Edition: Second edition. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2000 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)
		The logic of provability / George Boolos. by Boolos, George [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1993 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990 / edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer. by Leeds Proof Theory Programme (1990 : Leeds University) Aczel, Peter, 1941- [editor.] Simmons, Harold [editor.] Wainer, S. S [editor.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1993 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Axiomatising the logic of computer programming / Robert Goldblatt. by Goldblatt, Robert Series: Lecture notes in computer science ; 130 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1982 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). 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.