Natural deduction the logical basis of axiom systems

Podrobná bibliografie
Hlavní autor:	Anderson, John Mueller
Další autoři:	Johnstone, Henry W., joint auth
Médium:	Kniha
Jazyk:	English
Vydáno:	Belmont, Calif. Wadsworth Pub. [c1962].
Témata:	Logic, Symbolic and mathematical. Metamathematics.