Súbor:Exercises-1-FOL.pdf
Exercises-1-FOL.pdf (file size: 142 KB, MIME type: application/pdf)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Dimensions | User | Comment | |
---|---|---|---|---|
current | 20:54, 3 October 2012 | (142 KB) | Frtus (Talk | contribs) | opraveny preklep v Ulohe 4 g): miesto "((∃x)Kam(najŠtudentka,x) ∧ Muž(x)) → Kam(S(S(najŠtudentka)), Ján)" malo byt "(∃x)(Kam(najŠtudentka,x) ∧ Muž(x)) → Kam(S(S(najŠtudentka)), Ján)" |
13:12, 27 September 2012 | (142 KB) | Frtus (Talk | contribs) |
- You cannot overwrite this file.
File usage
There are no pages that link to this file.