Natural deduction the logical basis of axiom systems

Détails bibliographiques
Auteur principal:	Anderson, John Mueller
Autres auteurs:	Johnstone, Henry W., joint auth
Format:	Livre
Langue:	English
Publié:	Belmont, Calif. Wadsworth Pub. [c1962].
Sujets:	Logic, Symbolic and mathematical. Metamathematics.