Natural deduction the logical basis of axiom systems

書目詳細資料
主要作者:	Anderson, John Mueller
其他作者:	Johnstone, Henry W., joint auth
格式:	圖書
語言:	English
出版:	Belmont, Calif. Wadsworth Pub. [c1962].
主題:	Logic, Symbolic and mathematical. Metamathematics.