-
RecordNumber
22233
-
Author
Zhang, Guo-Qian
-
Title
Logic of domains
-
Author Statement
Guo-Qiang Zhang
-
Publication
Birkhauser
-
Publication Year
1991
-
Collation
259 p. : ill. ; 25 cm
-
Series
Progress in theoretical computer science
-
Notes
Includes bibliographical references (p. 251-256) and index , Revision of thesis (Ph. D.)--University of Cambridge, 1989
-
Subject
Logic, Symbolic and mathematical , Programming languages (Electronic computers) - Semantics
-
LC Class
QA
-
LC Number
76.7
-
LC CutterNumber
.Z47
-
LC Date
1991
-
Link To Document :
