"First Course in Logic; An introduction to model theory, proof theory, computability, and complexity" - читать интересную книгу автора (Hedman S. )