Natural deduction the logical basis of axiom systems

Natural deduction the logical basis of axiom systems

Dades bibliogràfiques
Autor principal: Anderson, John Mueller
Altres autors: Johnstone, Henry W., joint auth
Format: Llibre
Idioma:English
Publicat: Belmont, Calif. Wadsworth Pub. [c1962].
Matèries:
Logic, Symbolic and mathematical.
Metamathematics.