Limit search to items available for checkout
Save Marked Records Save All On Page
Call Numbers (1-2 of 2)
QA76 .L79 1994
1
c1994
BOOK
Computation and reasoning : a type theory for computer science
Luo, Zhaohui.
Oxford : Clarendon Press ; New York : Oxford University Press, c1994.

Copies / Volumes

2
c1994
BOOK
Computation and reasoning : a type theory for computer science
Luo, Zhaohui.
Oxford : Clarendon Press ; New York : Oxford University Press, c1994.

Copies / Volumes

Save Marked Records Save All On Page
Locate in results