Natural deduction the logical basis of axiom systems

Opis bibliograficzny
1. autor:	Anderson, John Mueller
Kolejni autorzy:	Johnstone, Henry W., joint auth
Format:	Książka
Język:	English
Wydane:	Belmont, Calif. Wadsworth Pub. [c1962].
Hasła przedmiotowe:	Logic, Symbolic and mathematical. Metamathematics.