Logic of domains /

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.

Remote Storage