Frontiers of combining systems 2 /
Gabbay, Dov M.,1945-
Rijke, Maarten de.
Baldock : Research Studies Press,
c2000.
Includes bibliographical references and index.
Logic, Symbolic and mathematical
Computer science