File:First order natural deduction.png

该作品并非来自求闻百科，而是来自“中文维基百科”网站。（作品来源）
免责声明：求闻百科不为该作品本身、该作品的来源或该作品的说明提供任何保证、担保或承担任何责任。

欢迎您为求闻百科贡献多媒体文件！
您可以点此上传文件以替代本文件，也可以将外部文件迁移至求闻百科。

文件历史

点击某个日期/时间查看对应时刻的文件。

	日期/时间	缩⁠略⁠图	大小	用户	备注
当前	2006年3月20日 (一) 03:55		685 × 873（34 KB）	zhwiki>Maksim	La bildo estas kopiita de wikipedia:en. La originala priskribo estas: Summary of the formal first-order (intuitionistic) natural deduction system {{GFDL}} {\| border="1" ! date/time \|\| username \|\| edit summary \|---- \| 00:41, 25 August 2004 \|\| [[:en:User:

以下页面使用本文件：