Welcome
Copyright © SirsiDynix. All rights reserved.
branding logo
University of Jordan
user_choices_background_image
Welcome
login container bottom
Catalogue Search
E-Journal Federated Search
Search Library Catalog
Duplicate Items
Add to My List

Print
Request
Sorts and Limits

Title: Computation and reasoning : a type theory for computer science / Zhaohui Luo.
International series of monographs on computer science
Author: Luo, Zhaohui.
General Notes: Includes bibliographical references (p. 211-220) and index.
Publisher: Clarendon Press ; Oxford University Press,
Publication Place: Oxford : New York :
ISBN: 0198538359 :
Subject: Computer science.
Series: International series of monographs on computer science
Physical Description: xi, 228 p. : ill. ;
Publication Date: c1994.

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