Hughes, G E

Elements of formal logic - Bombay: B I Publications, 1965 - xi, 396p.


Logic

Decision procedure

D 168.51 / K5