详细书目
| 附加的形体格式: | Online version: Anderson, John Mueller. Natural deduction. Belmont, Calif., Wadsworth Pub. Co. [1962] (OCoLC)643793470 |
|---|---|
| 文件类型: | 书 |
| 所有的著者/提供者: |
John Mueller Anderson; Henry W Johnstone |
| OCLC号码: | 880991 |
| 描述: | 418 p. illus. 24 cm. |
| 责任: | [by] John M. Anderson and Henry W. Johnstone, Jr. |
标签
添加标签 目的是为 "Natural deduction, the logical basis of axiom systems".
争取是第一个!
相似资料
相关主题:(2)
这资料的用户列表 (1)
- A(239 资料)
由 utphilosophy 已更新 大约三周前

