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

Description
Physical Description:	ix, 232 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references (pages [217]-225) and index.
ISBN:	0819189634 (cloth : alk. paper) 0819189642 (pbk. : alk. paper)