CompLog2013-Lecture-2-Reasoning-with-FOL.pdf(file size: 288 KB, MIME type: application/pdf)

CompLog 2013, lecture 2: Proof, Hilbert calculus, resolution.

File history

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

Date/TimeDimensionsUserComment
current09:45, 2 October 2013 (288 KB)Homola (Talk | contribs)CompLog 2013, lecture 2: Proof, Hilbert calculus, resolution.
  • You cannot overwrite this file.

There are no pages that link to this file.

Revision as of 09:45, 2 October 2013 by Homola (Talk | contribs) (CompLog 2013, lecture 2: Proof, Hilbert calculus, resolution.)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)