Mathematical logic - Ebbinghaus, Heinz-Dieter 1939-; Flum, Jörg 1944-; Thomas, Wolfgang (Springer, 2021)
Keywords: Mathematical Logic and Foundations; Mathematics of Computing; Mathematical logic; Computer science—Mathematics; Mathematische Logik