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