読了・・・・・・しました。井上真偽「恋と禁忌の述語論理」デビュー作らしいです。探偵が謎解きをした事件を再検討。検討を依頼されたのは「数理論理学者」随所に「数理論理学」による検証が入るんですが、チンプンカンプンな私です。「数理論理学」を駆使して、事件の真相を暴く!(知らんけど・・・)