Logic; lecture notes for philosophy, maths mates & computer system - Andrea Iacona (Switzerland Springer, 2021)