"Solvable Cases of the Decision Problem (Studies in Logic and the Foundations of Mathematics, 15)" - читать интересную книгу автора (Wilhelm Ackermann)