| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Frege's Sentences.sen | 486 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Godel's World.wld | 102 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Thoralf's Second World.wld | 68 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Dodgson's Sentences.sen | 168 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Henkin Construction.sen | 292 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Brouwer's Sentences.sen | 568 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Bernays' Sentences.sen | 173 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Hilbert's Sentences.sen | 1.32 KB |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Alan Robinson's Sentences.sen | 320 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/DeMorgan's Sentences 2.sen | 220 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Boolos' Sentences.sen | 269 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Leibniz's World.wld | 134 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Mixed Sentences.sen | 80 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Socrates' Sentences.sen | 1.8 KB |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Reichenbach's World 1.wld | 109 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Maigret's Sentences.sen | 291 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Null Quantification Sentences.sen | 315 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Leibniz's Sentences.sen | 1.81 KB |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Peirce's World.wld | 160 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Russell's Sentences.sen | 588 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Abelard's Sentences.sen | 877 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Game Sentences.sen | 309 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Konig's World.wld | 160 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Sheffer's Sentences.sen | 245 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Ackermann's World.wld | 82 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Horn's Sentences.sen | 195 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Cantor's Sentences.sen | 140 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Mary Ellen's Sentences.sen | 198 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Wittgenstein's Sentences.sen | 942 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Conditional Sentences.sen | 169 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Weiner's Sentences.sen | 555 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Schonfinkel's Sentences.sen | 849 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Ramsey's World.wld | 71 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Sherlock's World.wld | 99 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/DeMorgan's Sentences.sen | 248 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Mostowski's World.wld | 165 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Arnault's Sentences.sen | 468 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Distributive Sentences.sen | 335 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/DNF Example.sen | 223 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Bozo's Sentences.sen | 708 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Thoralf's First World.wld | 78 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Cooper's World.wld | 161 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Buridan's Sentences.sen | 411 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Max's Sentences.sen | 704 Bytes |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/Tarski's World.exe | 169.5 KB |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/LPL software manual.pdf | 1.26 MB |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Conditional 1.prf | 1.91 KB |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 13.30.prf | 2.26 KB |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 8.28.prf | 1.9 KB |
| 8/14/2025, 12:53:37 PM | create_file | system | /02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 13.39.prf | 2.96 KB |