Formal logic
Subtitle: the automation of reasoning.
Contributors: La Trobe University. Department of Philosophy.
Publisher: La Trobe University, Department ofPhilosophy
Published: 1984
Place of publication: Bundoora (Vic., Australia)
Language: eng
Number of pages: 80