Natural deduction the logical basis of axiom systems

Bibliographic Details
Main Author:	Anderson, John Mueller
Other Authors:	Johnstone, Henry W., joint auth
Format:	Book
Language:	English
Published:	Belmont, Calif. Wadsworth Pub. [c1962].
Subjects:	Logic, Symbolic and mathematical. Metamathematics.