Logica Volume 1 Dimostrazioni e modelli al primo ordine - Abrusci, Vito Michele; Falco, Lorenzo Tortora de (Springer Milan : Imprint: Springer, 2014)