Welcome
user_choices_background_image
Welcome
login container bottom
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits


Title: Computation and reasoning : a type theory for computer science / Zhaohui Luo.
International series of monographs on computer science

Main Entry: Luo, Zhaohui.
Publisher: Clarendon Press ; Oxford University Press,
Publication Date: c1994.
Publication Place: Oxford : New York :
ISBN: 0198538359 :
Subject: Computer science.
Series: International series of monographs on computer science
Cover Image: http://images.amazon.com/images/P/0198538359 :.jpg

Results 1 - 1 of 1
  Agency: Collection: Call No.: Item Type: Status: Item Notes: Barcode: Media Type:
Yarmouk General QA76 .L86 1994 Normal Circulation Available الكتاب موجود في الطابق الثالث YU282439 Book