Logica matematica - Eulate, Nancy; Jordan, Franz (2008)