Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons, University of Manchester. by
  • Simmons, Harold [author.]
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Publisher: Cambridge ; New York : Cambridge University Press, 2000
Online access:
Availability: Items available for loan: Central Library (1)Call number: 511.3 SIM.

Log in to add tags Add to cart
An accompaniment to higher mathematics / George R. Exner. by
  • Exner, George R [author.]
Series: Undergraduate texts in mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Publisher: New York : Springer, [1996]Copyright date: c1996
Availability: Items available for loan: Central Library (1)Call number: 511.3 EXN.

Log in to add tags Add to cart
Pages

© BUE Library 2020