Cover Image

Logic of domains /

Show other versions (1)
Bibliographic Details
Main Author: Zhang, Guo-Qiang, 1960-
Format: Book
Language:English
Published: Boston : Birkhauser, 1991.
Series:Progress in theoretical computer science.
Subjects:
Programming languages (Electronic computers) > Semantics.
Logic, Symbolic and mathematical.
Description
Item Description:Revision of thesis (Ph. D.)--University of Cambridge, 1989.
Physical Description:259 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 251-256) and index.
ISBN:081763570X (acid-free paper) :
376433570X (acid-free paper) :