Logica: Metodo Breve - Mundici, Daniele; SpringerLink (Online service) (Milano : Springer Milan, 2011)
Keywords: Mathematics; Computer science; Logic, Symbolic and mathematical; Semantics; Mathematics; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Semantics