Natural deduction the logical basis of axiom systems

Detalhes bibliográficos
Autor principal:	Anderson, John Mueller
Outros Autores:	Johnstone, Henry W., joint auth
Formato:	Livro
Idioma:	English
Publicado em:	Belmont, Calif. Wadsworth Pub. [c1962].
Assuntos:	Logic, Symbolic and mathematical. Metamathematics.