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