"Symbolic logic and mechanical theorem proving" - читать интересную книгу автора (Chang C.-L., Lee R.C.-T.)