Natural deduction the logical basis of axiom systems

Xehetasun bibliografikoak
Egile nagusia:	Anderson, John Mueller
Beste egile batzuk:	Johnstone, Henry W., joint auth
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	Belmont, Calif. Wadsworth Pub. [c1962].
Gaiak:	Logic, Symbolic and mathematical. Metamathematics.