"A Concise Introduction to Mathematical Logic (Universitext)" - читать интересную книгу автора (Wolfgang Rautenberg)