Wikia

Psychology Wiki

First order natural deduction.png

Talk0
34,117pages on
this wiki
Full resolution(685 × 873 pixels, file size: 21 KB, MIME type: image/png)

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

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

Heckert GNU white 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."
date/time username edit summary
00:41, 25 August 2004 }

Historio de la dosiero 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 . . * (del) (rev) 00:41, 25 August 2004 . .
This page uses content from the Wikimedia Commons. The original content was at File:First order natural deduction.png. The list of authors can be seen in the page history. As with this Psychology Wiki wiki, that portion of the content of Wikimedia Commons is available under the GNU Free Documentation License.

Appears on these pages
of

  • Natural deduction

    Assessment | Biopsychology | Comparative | Cognitive | Developmental | Language | Individual...

See full list >

File history

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

Date/TimeThumbnailDimensionsUserComment
current08:56, November 5, 2007Thumbnail for version as of 08:56, November 5, 2007685 × 873 (21 KB)PhloxBot (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 || |} ==== Hi

Around Wikia's network

Random Wiki