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