Awodey はコンピュータサイエンスやロジックをやっていた人には読みやすいそうですね。日本語訳は酷いらしく原著を読むべきという声をよく聞きます。