000 00821nmm a2200265Ia 4500
008 140908s9999 xx 000 0 und d
020 _a9788847023611, 978-88-470-2361-1
040 _aNISER LIBRARY
041 _aEnglish
082 _a511.3,
_b23
245 _aLogic: A Brief Course
260 _aMilano
_bSpringer Milan, Imprint: Springer,
_c2012.
500 _aMathematics and Statistics (Springer-11649)
650 _aLogic, Symbolic and mathematical
650 _aComputer science
650 _aMathematical Logic and Formal Languages
650 _aMathematical Logic and Foundations
650 _aMathematics
650 _aMathematics
650 _aSemantics
650 _aSemantics
700 _aMundici, Daniele., author.
856 _uhttp://dx.doi.org/10.1007/978-88-470-2361-1
942 _cEB
999 _c14759
_d14759