Logic and its applications
Author(s)
Bibliographic Information
Logic and its applications
(Prentice-Hall International series in computer science)
Prentice Hall, 1996
Available at 13 libraries
Note
Includes bibliographical references and index