Natural deduction the logical basis of axiom systems

Bibliografiska uppgifter
Huvudupphovsman:	Anderson, John Mueller
Övriga upphovsmän:	Johnstone, Henry W., joint auth
Materialtyp:	Bok
Språk:	English
Publicerad:	Belmont, Calif. Wadsworth Pub. [c1962].
Ämnen:	Logic, Symbolic and mathematical. Metamathematics.