59.95
The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel's incompleteness theorems, computability theory, algorithmic information theory, and model theory.
- : Dirk W. Hoffmann
- : Springer-Verlag Berlin And Heidelberg GMBH & Co. KG
- : 9783662709986
- : Engels
- : Paperback
- : 422
- : juli 2025
- : 450
- : 215 x 140 x 27 mm.
- : Mathematics Study Resources
- : Wiskundige logica; Wiskundige systeemtheorie