Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Lambda Calculus with Types / Henk Barendregt, Wil Dekkers, Richard Statman. by Barendregt, Henk [author.] Dekkers, Wil [author.] Statman, Richard [author.] Series: Perspectives in Logic \| Perspectives in Logic Material type: Text; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer. by Schwichtenberg, Helmut, 1942- Wainer, S. S Association for Symbolic Logic Series: Material type: Text; Format: print ; Literary form: Not fiction Publication details: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, c2012 Online access: Table of contents only Contributor biographical information Publisher description Availability: Items available for loan: Central Library, SUST (2)Call number: 511.352 SCP, ... Place hold Add to cart (remove)

Refine your search