75.-
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.
- : Wolfgang Thomas, Jorg Flum, Heinz-Dieter Ebbinghaus
- : Springer Nature Switzerland Ag
- : 9783030738389
- : Engels
- : Hardcover
- : 304
- : mei 2021
- : 684
- : 161 x 243 x 21 mm.
- : Graduate Texts in Mathematics
- : Wiskunde voor computerwetenschappers; Wiskundige logica