Techniques of deductive inference

Bibliographic Details
Main Author:	Leblanc, Hugues 1924-
Format:	Book
Language:	English
Published:	Englewood Cliffs, N.J. Prentice-Hall [c1966]
Subjects:	Logic, Symbolic and mathematical.