Natural deduction
Subtitle: the logical basis of axiom systems
By: ed. by J. M. Anderson and H. W. Johnstone.
Contributors: Johnstone, H W.
Publisher: Wadsworth
Published: 1962
Language: eng
Number of pages: 418