Image:First order natural deduction.png

From Wikipedia, the free encyclopedia

Wikimedia Commons logo This is a file from the Wikimedia Commons. The description on its description page there is shown below.
Commons is a freely licensed media file repository. You can help.

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".

Aragonés | العربية | Asturianu | Български | বাংলা | ইমার ঠার/বিষ্ণুপ্রিয়া মণিপুরী | Brezhoneg | Bosanski | Català | Cebuano | Česky | Dansk | Deutsch | Ελληνικά | English | Esperanto | Español | Eesti | Euskara | فارسی | Suomi | Français | Gaeilge | Galego | עברית | Hrvatski | Magyar | Bahasa Indonesia | Ido | Íslenska | Italiano | 日本語 | ქართული | ភាសាខ្មែរ | 한국어 | Kurdî / كوردی | Latina | Lëtzebuergesch | Lietuvių | Bahasa Melayu | Nnapulitano | Nederlands | ‪Norsk (nynorsk)‬ | ‪Norsk (bokmål)‬ | Occitan | Polski | Português | Română | Русский | Slovenčina | Slovenščina | Shqip | Српски / Srpski | Svenska | తెలుగు | ไทย | Türkçe | Українська | اردو | Tiếng Việt | Volapük | Yorùbá | ‪中文(中国大陆)‬ | ‪中文(台灣)‬ | +/-
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 } })

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeDimensionsUserComment
current19:55, 19 March 2006685×873 (34 KB)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:)
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):