Advanced logic for applications /

Bibliographic Details
Main Author: Grandy, Richard E.
Format: Book
Language:English
Published: Dordrecht, Holland ; Boston : D. Reidel, [1977]
Series:Synthese library ; v. 110
Subjects:
Description
Item Description:Includes indexes.
Physical Description:xi, 167 pages : illustrations ; 23 cm.
Bibliography:Bibliography: pages [161]-162.
ISBN:9027707812