Kommande
849:-
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.
- Format: Pocket/Paperback
- ISBN: 9783662709986
- Språk: Engelska
- Antal sidor: 422
- Utgivningsdatum: 2025-10-20
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG