Search

Your search returned 4 results.

Not what you expected? Check for suggestions

Results
		No cover image available Introduction to logic and to the methodology of the deductive sciences [electronic resource] / by Alfred Tarski. by Tarski, Alfred \| Tarski, Jan \| ProQuest (Firm). Series: Oxford logic guides ; 24.Edition: 4th ed. / edited by Jan Tarski.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York : Oxford University Press, 1994Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available Twenty-five years of constructive type theory [electronic resource] : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith. by Sambin, Giovanni \| Smith, Jan M \| ProQuest (Firm). Series: Oxford logic guides ; 36. \| Oxford science publicationsMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1998Other title: 25 years of constructive type theory.Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available Foundations without foundationalism [electronic resource] : a case for second-order logic. by Shapiro, Stewart, 1951- \| ProQuest (Firm). Series: Oxford logic guides ; 17.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 2000Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available Foundations without foundationalism [electronic resource] : a case for second-order logic. by Shapiro, Stewart, 1951- \| ProQuest (Firm). Series: Oxford logic guides ; 17.Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 2000Online access: Click to View Availability: No items available. Add to cart (remove)