Logic: A Brief Course - Mundici, Daniele., author (Milano Springer Milan, Imprint: Springer, 2012)
Mathematics and Statistics (Springer-11649)
Keywords: Logic, Symbolic and mathematical; Computer science; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Mathematics; Mathematics; Semantics; Semantics