Τύπος | Aρχείο | Μέγεθος | Ημερομηνία | |
---|---|---|---|---|
isotnta.pdf | 569.65 KB | 2/6/22 | ||
Proof search ForAll-elim.pdf | 719.68 KB | 2/6/22 | ||
συνεπαγωγή Α τάξης.pdf | 773.78 KB | 2/6/22 |
Τύπος | Aρχείο | Μέγεθος | Ημερομηνία | |
---|---|---|---|---|
isotnta.pdf | 569.65 KB | 2/6/22 | ||
Proof search ForAll-elim.pdf | 719.68 KB | 2/6/22 | ||
συνεπαγωγή Α τάξης.pdf | 773.78 KB | 2/6/22 |