Logic: A Brief Course - Mundici, Daniele (Springer Milan : Imprint: Springer, 2012)