>>844
煽りでなく、ほんとに無いと思う

プログラム意味論 (情報数学講座)
横内 寛文

知識と推論 (情報数学講座) [単行本]
森下 真一

あたりを読めるようになるのが
さしあたっての目標にすればいいと思う