Hard Cover. Condition: Fine. The first printing, 259 pages. This book "is a thorough study of some important logical aspects of domains as used in the denotational semantics of programming languages. Against a background of a well-developed and sophisticated domain theory, the author builds logical frameworks from domains and uses them for the derivation of program logics. The reader will gain from this work a broad and deep understanding of the state of knowledge in this vital area of theoretical computer science." FINE HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall.