読了・・・

・・・しました。

井上真偽「恋と禁忌の述語論理」

デビュー作らしいです。

探偵が謎解きをした事件を再検討。

検討を依頼されたのは「数理論理学者」

随所に「数理論理学」による検証が入るんですが、チンプンカンプンな私です。

「数理論理学」を駆使して、事件の真相を暴く！（知らんけど・・・）