Ebbinghaus, Heinz-Dieter

Ebbinghaus, Heinz-Dieter
Mathematical logic. -- 3rd ed.
Cham, Switzerland : Springer, 2021. ix, 304 p. -- (Graduate texts in mathematics ; vol. 291) 
QA9 E2213 2021