Deduction : automated logic /

Bibliographic Details

Main Author:	Bibel, W., 1938-
Other Authors:	Hölldobler, Steffen, 1957-
Format:	Book
Language:	English
Published:	London ; San Diego : Academic Press, [1993]
Subjects:	Logic.