私が一冊推薦書をあげるとしたら、
岩波講座ソフトウェア科学14「知識と推論」長尾真著 岩波書店 1988年

岩波の本でしかも「講座」などと付いているから拒絶反応を
起こす人もいるかもしれないが、内容の、幅、深さ浅さ、
解りやすさ、どれをとっても絶妙のバランスの本だと思う。
私の知識は止まっているので、20年を経て、ここが不足という
部分もあるだろう。指摘していただけるとありがたい。
もう少し勉強したいと思う。