Mundici, Daniele.
Logica: Metodo Breve [electronic resource] / by Daniele Mundici. - Milano : Springer Milan, 2011. - digital. - UNITEXT, 1 2038-5714 ; . - UNITEXT, 1 .
9788847018846
10.1007/978-88-470-1884-6 doi
Mathematics.
Computer science.
Logic, Symbolic and mathematical.
Semantics.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Semantics.
QA8.9-10.3
511.3
Logica: Metodo Breve [electronic resource] / by Daniele Mundici. - Milano : Springer Milan, 2011. - digital. - UNITEXT, 1 2038-5714 ; . - UNITEXT, 1 .
9788847018846
10.1007/978-88-470-1884-6 doi
Mathematics.
Computer science.
Logic, Symbolic and mathematical.
Semantics.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Semantics.
QA8.9-10.3
511.3