>>549
実は私も全巻完読してはいないんですが、
特に1巻は数理論理学の入門として
かなりまとまっているので重宝していますね。
内容は述語論理入門から2階、高階述語論理、再帰理論、論理プログラミングです。
実は私のレスポンスは大抵このシリーズを参照しています。
もうひとつ計算機よりのシリーズでは、
APPLIED LOGIC SERIESが同じ出版社から出ています。
それからケンブリッジ大出版の
CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCEのシリーズです。
背表紙にゲーデルの顔写真がある青い本のシリーズです。
両方とも数十冊出版されています、全部で何冊あるかはわかりませんが、
同じ様相論理だけでも何冊も出版されています。
私が所有するblackburnの様相論理の巻ではごく最近の、
つまり2000年ごろまでの研究成果の総覧になっています。
ですから論理に関することでこの掲示板に書き込んでいる人間が
議論を仕掛けてきても、簡単に返り討ちにすることが出来ます。