Andrea iacona Logic; lecture notes for philosophy, maths mates & computer system - Switzerland Springer 2021 - 227 ISBN: 9783030648107