Your search returned 2 results.

Not what you expected? Check for suggestions

Results
		No cover image available Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons. by Simmons, Harold Series: Cambridge tracts in theoretical computer science ; 51 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 2000 Online access: Publisher description Table of contents Availability: Items available for loan: Central Library (1)Call number: 511.3 SIM. Log in to add tags Add to cart (remove)
		An accompaniment to higher mathematics / George R. Exner. by Exner, George R Series: Undergraduate texts in mathematics Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: New York : Springer, c.1996 Availability: Items available for loan: Central Library (1)Call number: 511.3 EXN. Log in to add tags Add to cart (remove)

Refine your search