File: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

{| border="1" ! date/time || username || edit summary
 * 00:41, 25 August 2004 || |}
 * 00:41, 25 August 2004 || |}

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 . . * (del) (rev) 00:41, 25 August 2004 ..