LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science - Andrea Iacona (Springer, 2021)