Techniques of deductive inference.

Bibliographic Details

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