Natural deduction the logical basis of axiom systems

Dettagli Bibliografici
Autore principale:	Anderson, John Mueller
Altri autori:	Johnstone, Henry W., joint auth
Natura:	Libro
Lingua:	English
Pubblicazione:	Belmont, Calif. Wadsworth Pub. [c1962].
Soggetti:	Logic, Symbolic and mathematical. Metamathematics.