Logic for applications /

Bibliographic Details

Main Author:	Nerode, Anil, 1932-
Other Authors:	Shore, Richard A., 1946-
Format:	Book
Language:	English
Published:	New York : Springer-Verlag, [1993]
Series:	Texts and monographs in computer science.
Subjects:	Logic programming. Logic, Symbolic and mathematical.