Επισυνάπτω ένα αρχείο με σημειώσεις γύρω από το θέμα της τυπικής απόδειξης στην προτασιακή λογική και το θεώρημα πληρότητας.
Καλό Πάσχα!
Επισυνάπτω ένα αρχείο με σημειώσεις γύρω από το θέμα της τυπικής απόδειξης στην προτασιακή λογική και το θεώρημα πληρότητας.
Καλό Πάσχα!
Τελευταία επεξεργασία από dany; 12-04-2017 την 17:32.
-- Παναγής Καραζέρης