File:First order natural deduction.png
From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
Size of this preview: 470 × 599 pixels. Other resolutions: 188 × 240 pixels | 377 × 480 pixels | 685 × 873 pixels.
Original file (685 × 873 pixels, file size: 34 KB, MIME type: image/png)
File information
Structured data
Captions
This image could be re-created using vector graphics as an SVG file. This has several advantages; see Commons:Media for cleanup for more information. If an SVG form of this image is available, please upload it and afterwards replace this template with
{{vector version available|new image name}} .
It is recommended to name the SVG file “First order natural deduction.svg”—then the template Vector version available (or Vva) does not need the new image name parameter. |
Transferred from en.wikipedia to Commons by Maksim.
The original description page was here. All following user names refer to en.wikipedia.
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.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license. | ||
| ||
This licensing tag was added to this file as part of the GFDL licensing update.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
date/time | username | edit summary |
---|---|---|
00:41, 25 August 2004 | en:User:Kaustuv | (Summary of the formal first-order (intuitionistic) natural deduction system {{GFDL}}) |
Original upload log[edit]
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/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 19:55, 19 March 2006 | 685 × 873 (34 KB) | Maksim (talk | contribs) | 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: |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on en.wikipedia.org
- Usage on ja.wikipedia.org
- Usage on zh.wikipedia.org