TY - DATA AU - Mundici, Daniele., author. TI - Logica: Metodo Breve SN - 9788847018846, 978-88-470-1884-6 U1 - 511.3, PY - 2011/// CY - Milano PB - Springer Milan, Imprint: Springer KW - Logic, Symbolic and mathematical KW - Computer science KW - Mathematical Logic and Formal Languages KW - Mathematical Logic and Foundations KW - Mathematics KW - Semantics N1 - Mathematics and Statistics (Springer-11649) UR - http://dx.doi.org/10.1007/978-88-470-1884-6 ER -