| Τύπος | Aρχείο  | Μέγεθος | Ημερομηνία | |
|---|---|---|---|---|
| σημειώσεις | 28/2/24 | |||
| Raymond M. Smullyan auth. First-Order Logic.pdf | 3.83 MB | 15/3/23 | ||
| Nelson-Oppen Congruence.pdf | 552.47 KB | 1/5/18 | ||
| Huth Ryan .PDF | 2.13 MB | 10/10/16 | ||
| Fitting .pdf | 5.08 MB | 10/10/16 | ||
| Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. - Reasoning About Knowledge-MIT (1995).pdf | 1.63 MB | 28/2/24 |
