Logic: A Brief Course - Quarteroni, A.; Ambrosio, L.; Mundici, Daniele; Biscari, P. (Springer Milan, 2012)