"An introduction to mathematical logic" - читать интересную книгу автора (Wolfram Pohlers (author), Thomas Glaß (editor))