TY  - BOOK
AU  - Zhang, Guo-qiang
TI  - Logic of domains
SN  - 081763570X
U1  - 005.13 ZHA 
PY  - 1991///
CY  - Boston
PB  - Birkhauser
KW  - Programming language (Elecetronic computers)
KW  - Semantics
KW  - Logic, Symbolic and mathematical
N1  - (p.251-256) Revision of Thesis (Ph.D).. University of Cambridge, 198 9; Revision of Thesis (Ph.D.) University of Cambridge,1989; Includes bibliographical references
ER  -