Natural deduction the logical basis of axiom systems

Bibliografski detalji
Glavni autor:	Anderson, John Mueller
Daljnji autori:	Johnstone, Henry W., joint auth
Format:	Knjiga
Jezik:	engleski
Izdano:	Belmont, Calif. Wadsworth Pub. [c1962].
Teme:	Logic, Symbolic and mathematical. Metamathematics.