Σημειώσεις - "Μαθηματική Λογική"

[pkarazer]

Επισυνάπτω ένα αρχείο με σημειώσεις γύρω από το θέμα της τυπικής απόδειξης στην προτασιακή λογική και το θεώρημα πληρότητας.
Καλό Πάσχα!