The mechanism and freedom of logic /

Bibliographic Details

Main Author:	Henry, Granville C.
Format:	Book
Language:	English
Published:	Lanham : University Press of America, [1993]
Subjects:	Logic. Prolog (Computer program language) Logic Programming languages