NATURAL DEDUCTION The Logical Basis of Axiom Systems
Publisher: WADSWORTH PUBLISHING COMPANY, INC.
Published: 1963
Language: eng
Number of pages: 440