Zhang, Guo-qiang <br/><br/>
Logic of domains / 
Guo-Qiang Zhang 
 - Boston:  Birkhauser ,  1991 
 - 259 p. ;  24cm. 
 - Progress in Theoretical Computer Science .
<br/><br/> (p.251-256) Revision of Thesis (Ph.D).. University of Cambridge, 198 9; Revision of Thesis (Ph.D.) University of Cambridge,1989 
<br/><br/>Includes bibliographical references 
<br/><br/><label>ISBN: </label>081763570X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming language (Elecetronic computers)--Semantics<br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>005.13 ZHA