MATHEMATICAL LOGIC FOR COMPUTER SCIENTISTS
Michael Y. Levin · DSpace@MIT (Massachusetts Institute of Technology) · 1974
This book is an introductory course in mathematical logic covering basic topics in quantification theory and recursive function theory, and is intended for the reader who is interested in artificial intelligence, computer linguistics, and other related areas. The text is theoretical, but organized with implementation in mind.