Γ. Κολέτσος, Σημειώσεις Μαθηματικής Λογικής 1-2