000 00425nmm a2200145Ia 4500
008 230125s9999||||xx |||||||||||||||||und||
020 _a9783319530611
100 _aSven Ove Hansson
245 0 _aDescriptor Revision
250 _a1st ed. 2017
260 _bSpringer International Publishing
_c2017
440 _aTrends in Logic
650 _aMathematics and Statistics
856 _uhttps://doi.org/10.1007/978-3-319-53061-1
999 _c11336
_d11336