"A computational logic" - читать интересную книгу автора (Robert S. Boyer, J.Strother Moore)