Το Θεώρημα Συμπαγιας στον Προτασιακό Λογισμό και το Πρόβλημα του Γάμου Δ.Α. Αναπολιτάνος — 1979 Μαθηματική Επιθεώρηση