Mathematical logic - Ebbinghaus, Heinz-Dieter; Flum, Jorg; Thomas, Wolfgang (Switzerland Springer, 2024)
Keywords: Mathematical; Logic