Natural deduction the logical basis of axiom systems

Natural deduction the logical basis of axiom systems

Detaylı Bibliyografya
Yazar: Anderson, John Mueller
Diğer Yazarlar: Johnstone, Henry W., joint auth
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Belmont, Calif. Wadsworth Pub. [c1962].
Konular:
Logic, Symbolic and mathematical.
Metamathematics.