CompLog2013-Lecture-1-FOL.pdf(file size: 244 KB, MIME type: application/pdf)

Computational Logic, lecture 1: Introduction to First Order Logic (FOL). Syntax and Semantics.

File history

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

Date/TimeDimensionsUserComment
current13:20, 25 September 2013 (244 KB)Homola (Talk | contribs)Computational Logic, lecture 1: Introduction to First Order Logic (FOL). Syntax and Semantics.
  • You cannot overwrite this file.

There are no pages that link to this file.

Revision as of 13:20, 25 September 2013 by Homola (Talk | contribs) (Computational Logic, lecture 1: Introduction to First Order Logic (FOL). Syntax and Semantics.)

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