Μαθηματική λογική : σημειώσεις μαθήματος - Κολέτσος, Γεώργιος (Ε.Μ.Π., 2004)