| Τύπος | Aρχείο  | Μέγεθος | Ημερομηνία | |
|---|---|---|---|---|
| ModelExistenceFirstOrder.pdf | 343.45 KB | 16/5/24 | ||
| lemmas.pdf | 729.4 KB | 27/5/24 | ||
| first-order tableaux | 617 B | 16/5/24 |
| Τύπος | Aρχείο | Μέγεθος | Ημερομηνία | |
|---|---|---|---|---|
| ModelExistenceFirstOrder.pdf | 343.45 KB | 16/5/24 | ||
| lemmas.pdf | 729.4 KB | 27/5/24 | ||
| first-order tableaux | 617 B | 16/5/24 |
