Logic and foundations of mathematics. - Cantini Andrea etc Ed. (1999)