Mathematical logic - Ebbinghaus, Heinz-Dieter; Flum, JorgThomas, Wolfgang (Cham: Springer, 2021)
Keywords: Mathematics