Your search returned 8 results.

Not what you expected? Check for suggestions

Results
1.	Image from Amazon.com	Fine Structure and Iteration Trees by William J. Mitchell-John R. Steel Series: Lecture Notes in Logic Material type: Computer file; Format: electronic Language: English Publication details: Cambridge University Press ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-EBSCO ACADEMIC COLLECTION: Not for loan (1). Save to lists Add to cart (remove)
2.	Image from Amazon.com	Predicative Arithmetic by Edward Nelson Series: Mathematical Notes Material type: Computer file; Format: electronic Language: English Publication details: Princeton University Press ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-EBSCO ACADEMIC COLLECTION: Not for loan (1). Save to lists Add to cart (remove)
3.	Image from Amazon.com	Bounded Arithmetic, Propositional Logic and Complexity Theory by Jan Krajicek Series: Encyclopedia of Mathematics and Its Applications Material type: Computer file; Format: electronic Language: English Publication details: Cambridge University Press ; 1995 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-EBSCO ACADEMIC COLLECTION: Not for loan (1). Save to lists Add to cart (remove)
4.	Image from Amazon.com	Varieties of Constructive Mathematics by Douglas Bridges-Fred Richman Series: London Mathematical Society Lecture Note Series Material type: Computer file; Format: electronic Language: English Publication details: Cambridge University Press ; 1987 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-EBSCO ACADEMIC COLLECTION: Not for loan (1). Save to lists Add to cart (remove)
5.	Image from Amazon.com	Constructive Adpositional Grammars: Foundations of Constructive Linguistics by Marco Benini, Author-Federico Gobbo, Author Material type: Computer file; Format: electronic Language: English Publication details: Cambridge Scholars Publishing ; 2011 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-EBSCO ACADEMIC COLLECTION: Not for loan (1). Save to lists Add to cart (remove)
6.	Image from Amazon.com	Twenty Five Years of Constructive Type Theory by Giovanni Sambin-Jan M. Smith Series: Oxford Science Publications Material type: Computer file; Format: electronic Language: English Publication details: Clarendon Press ; 1998 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-EBSCO ACADEMIC COLLECTION: Not for loan (1). Save to lists Add to cart (remove)
7.	Image from Amazon.com	Constructibility and Mathematical Existence by Charles S. Chihara Material type: Computer file; Format: electronic Language: English Publication details: Clarendon Press ; 1990 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-EBSCO ACADEMIC COLLECTION: Not for loan (1). Save to lists Add to cart (remove)
8.	Image from Amazon.com	Phenomenology, Logic, and the Philosophy of Mathematics by Richard Tieszen Material type: Computer file; Format: electronic Language: English Publication details: Cambridge University Press ; 2005 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-EBSCO ACADEMIC COLLECTION: Not for loan (1). Save to lists Add to cart (remove)