A Computational Logic — Robert S. Boyer, J Strother Moore | Kutubxona