Mathematical Logic — Chiswell Ian — libreta