The logical basis of axiom systems

Name: The logical basis of axiom systems
Author: John M. Anderson and Henry W. Johnstone Jr., Natural deduction

by John M. Anderson and Henry W. Johnstone Jr., Natural deduction · 1 review · 1964

Reviewed by	Journal	Date	Access
Donald Kalish	The Journal of Symbolic Logic	1964	Restricted

Also by deduction