"Mathematical logic with special reference to natural numbers" - читать интересную книгу автора (S. W. P. Steen)