Results of search for 'su:{Proof theory}' › Alfaisal Library catalog

Results
1.	Image from Amazon.com	Proof theory : sequent calculi and related formalisms / Katalin Bimbo. by Salih, Al-Tayyib, 1963- [author.] Series: Publisher: Boca Raton, FL : CRC Press, [2015] Other title: Sequent calculi and related formalisms Availability: Items available for loan: Alfaisal University (1)Location, call number: On Shelf QA9.54 .B55 2015. Place hold Save to lists Add to cart (remove)
2.	Image from Amazon.com	Proof, logic, and formalization [electronic resource] / edited by Michael Detlefsen. by Detlefsen, Michael, 1948- ebrary, Inc Publication details: London ; New York : Routledge, 1992 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3.	Image from Amazon.com	Logic for concurrency and synchronisation [electronic resource] / edited by Ruy J.G.B. de Queiroz. by Queiroz, Ruy J. G. B. de ebrary, Inc Series: Trends in logic ; v. 18. Publication details: Dordrecht ; Boston : Kluwer Academic Publishers, c2003 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
4.	Image from Amazon.com	Lectures on the Curry-Howard isomorphism [electronic resource] / Morten Heine S�rensen, Pawe� Urzyczyn. by S�rensen, Morten Heine Urzyczyn, Pawe� ebrary, Inc Series: Studies in logic and the foundations of mathematics ; v. 149. Edition: 1st ed. Publication details: Amsterdam ; Boston [MA] : Elsevier, 2006 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
5.	Image from Amazon.com	The nuts and bolts of proofs [electronic resource] / Antonella Cupillari. by Cupillari, Antonella ebrary, Inc Edition: 3rd ed. Publication details: Amsterdam ; Boston : Elsevier Academic Press, c2005 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
6.	Image from Amazon.com	Memoirs of a proof theorist [electronic resource] : G�odel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell. by Takeuti, Gaisi, 1926- ebrary, Inc Edition: [Rev. ed.]. Language: English Original language: Japanese Publication details: River Edge, NJ : World Scientific, c2003 Other title: Proof theorist Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
7.	Image from Amazon.com	Tracking reason [electronic resource] : proof, consequence, and truth / Jody Azzouni. by Azzouni, Jody ebrary, Inc Publication details: New York : Oxford University Press, c2006 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
8.	Image from Amazon.com	Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato. by Pozzato, Gian Luca ebrary, Inc Publication details: Amsterdam : IOS Press, c2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
9.	Image from Amazon.com	Perspectives in logic [electronic resource] : logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. by Cook, Stephen, 1948- Nguyen, Phuong, 1977- ebrary, Inc Publication details: Cambridge ; New York : Cambridge University Press, 2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
10.	Image from Amazon.com	2-D quadratic maps and 3-D ODE systems [electronic resource] : a rigorous approach / Elhadj Zeraoulia, Julien Clinton Sprott. by Zeraoulia, Elhadj Sprott, Julien C ebrary, Inc Series: World Scientific series on nonlinear science. Series A, Monographs and treatises ; ; v. 73. Publication details: Singapore ; Hackensack, N.J. : World Scientific Pub. Co., c2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
11.	Image from Amazon.com	Charming proofs [electronic resource] : a journey into elegant mathematics / Claudi Alsina, Roger B. Nelsen. by Alsina, Claudi Nelsen, Roger B ebrary, Inc Mathematical Association of America Series: Dolciani mathematical expositions ; no. 42 Publication details: Washington, D.C. : Mathematical Association of America, c2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
12.	Image from Amazon.com	Icons of mathematics [electronic resource] : an exploration of twenty key images / Claudi Alsina, Roger B. Nelsen. by Alsina, Claudi Nelsen, Roger B ebrary, Inc Series: Dolciani mathematical expositions ; no. 45 Publication details: [Washington, D.C.] : Mathematical Association of America, c2011 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
13.	Image from Amazon.com	Ways of proof theory [electronic resource] / Ralf Schindler (ed.). by Schindler, Ralf ebrary, Inc Series: Ontos mathematical logic ; v. 2 Publication details: Frankfurt ; New Brunswick : Ontos Verlag, 2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
14.	Image from Amazon.com	Three views of logic : mathematics, philosophy, and computer science / Donald W Loveland, Richard E. Hodel, S. G. Sterrett. by Loveland, Donald W Hodel, Richard E Sterrett, S. G ebrary, Inc Publisher: Princeton, New Jersey : Princeton University Press, 2014Copyright date: �2014 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
15.	Image from Amazon.com	The elementary theory of groups : a guide through the proofs of the Tarski conjectures / Benjamin Fine [and five others]. by Fine, Benjamin, 1948- [author.] ebrary, Inc Series: De Gruyter expositions in mathematics ; Volume 60.Publisher: Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2014Copyright date: �2014 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
16.	Image from Amazon.com	Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer. by Schwichtenberg, Helmut, 1942- [author.] Wainer, S. S [author.] Cambridge eBooks Association for Symbolic Logic [issuing body.] Series: Perspectives in logicPublisher: Cambridge : Cambridge University Press, 2012 Other title: Proofs & Computations Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
17.	Image from Amazon.com	A framework for priority arguments / Manuel Lerman. by Lerman, M. (Manuel), 1943- [author.] Cambridge eBooks Series: Lecture notes in logic ; 34.Publisher: Cambridge : Cambridge University Press, 2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
18.	Image from Amazon.com	Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. by Cook, Stephen, 1948- [author.] Nguyen, Phuong, 1977- [author.] Cambridge eBooks Series: Perspectives in logicPublisher: Cambridge : Cambridge University Press, 2010 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
19.	Image from Amazon.com	Why is there philosophy of mathematics at all? / Ian Hacking. by Hacking, Ian [author.] Cambridge eBooks Publisher: Cambridge : Cambridge University Press, 2014 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
20.	Image from Amazon.com	Burden of proof, presumption and argumentation / Douglas Walton, University of Windsor, Canada. by Walton, Douglas N [author.] Cambridge eBooks Publisher: Cambridge : Cambridge University Press, 2014 Other title: Burden of Proof, Presumption & Argumentation Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 38 results.