"A concise introduction to mathematical logic" - читать интересную книгу автора (Wolfgang Rautenberg)