Dosiero:First order natural deduction.png

El Vikipedio

Wikimedia Commons Logo Tiu dosiero elĉerpiĝas de la Vikimedia Komunejo, kolekto de libere uzeblaj bildoj.
Vidu ĝian paĝon ĉe la Komunejo por permesinformo kaj historio de redaktado.

La bildo estas kopiita de wikipedia:en. La originala priskribo estas:

Summary of the formal first-order (intuitionistic) natural deduction system

GNU head 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 } })

La jenaj paĝoj ligas al ĉi tiu dosiero: