"Einfuhrung in die Mathematische Logik, 3. Auflage" - читать интересную книгу автора (Wolfgang Rautenberg)