Hughes, G E Elements of formal logic - Bombay: B I Publications, 1965 - xi, 396p. Subjects--Topical Terms: Logic Subjects--Index Terms: Decision procedure Universal Decimal Class. No.: D 168.51 / K5