Mathematical logic
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
Third edition. - Cham, Switzerland : Springer (2021)
Buch
In: Graduate texts in mathematics 291
Seite(n)/Artikel-Nr.: x, 304 Seiten : Illustrationen
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) [122910]
Identifikationsnummern
- ISBN: 978-3-030-73838-9
- ISBN: 978-3-030-73839-6
- ISBN: 978-3-030-73840-2
- ISBN: 978-3-030-73841-9
- RWTH PUBLICATIONS: RWTH-2023-06961