Natural deduction : the logical basis of axiom systems
John Mueller Anderson (Author), Henry W. Johnstone (Author)
Print Book, English, 1962
Wadsworth Publishing Company, Inc., Belmont, California, 1962