Image:First order natural deduction.png
维基百科，自由的百科全书
La bildo estas kopiita de wikipedia:en. La originala priskribo estas:
Summary of the formal first-order (intuitionistic) natural deduction system
 |
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".
العربية | Česky | Deutsch | English | Español | Français | Italiano | 日本語 | 한국어 | Nederlands | Polski | Português | Slovenčina | Svenska | עברית +/- |
| date/time | username | edit summary |
|---|---|---|
| 00:41, 25 August 2004 | en:User:Kaustuv | (Summary of the formal first-order (intuitionistic) natural deduction system {{GFDL}}) |
[edit] Historio de la dosiero
Legend: (cur) = this is the current file, (del) = delete this old version, (rev) = revert to this old version.
Click on date to download the file or see the image uploaded on that date.
- (del) (cur) 10:57, 5 September 2004 . . en:User:Kaustuv Kaustuv ( en:User_talk:Kaustuv Talk) . . 685x873 (34620 bytes) (minor correction in ∃I rule)
- (del) (rev) 00:41, 25 August 2004 . . en:User:Kaustuv Kaustuv ( en:User_talk:Kaustuv Talk) . . 685x873 (28217 bytes) (Summary of the formal first-order (intuitionistic) natural deduction system { { GFDL } })
图像链接
以下页面链接到本图像：
