3885 228 Iacona A. Logic. Lecture Notes for Philosophy, Mathematics, and Computer Science