TY  - BOOK
AU  - Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
TI  - Mathematical Logic
SN  - 9783030738396
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-030-73839-6
ER  -