000 00424nmm a2200145Ia 4500
008 230125s9999||||xx |||||||||||||||||und||
020 _a9783034808620
100 _aWei Li
245 0 _aMathematical Logic
250 _a2nd ed. 2014
260 _bSpringer Basel
_c2014
440 _aProgress in Computer Science and Applied Logic
650 _aMathematics and Statistics
856 _uhttps://doi.org/10.1007/978-3-0348-0862-0
999 _c7540
_d7540