恋と禁忌の述語論理(プレディケット) (講談社ノベルス ; イT-01)
恋と禁忌の述語論理(プレディケット)
(講談社ノベルス ; イT-01)
- 国立国会図書館請求記号
- KH844-L1419
- 国立国会図書館書誌ID
- 025990559
資料詳細
内容細目：
- スターアニスと命題論理クロスノットと述語論理トリプレッツと様相論理...
要約等：
- 大学生の詠彦は、天才数理論理学者の叔母、硯さんを訪ねる。アラサー独身美女の彼女に、名探偵が解決したはずの殺人事件の真相を証明してもらうために－。数理論理学で硯さんはすべての謎を証明できるのか？（提供元: サピエ図書館資料検索）
著者紹介：
- 井上 真偽 東京大学卒業。神奈川県出身。『恋と禁忌の述語論理』で第51回メフィスト賞を受賞。（提供元: 出版情報登録センター（JPRO））
書店で探す
障害者向け資料で読む
目次
レッスンI「スターアニスと命題論理」 レッスンII「クロスノットと述語論理」 レッスンIII「トリプレッツと様相論理」 進級試験 「恋と禁忌の……？」 巻末資料
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
北日本
北海道立図書館
紙- 請求記号：
- Ｆ／Ｉ
- 図書登録番号：
- 1111799464
札幌市中央図書館
紙- 請求記号：
- 913.6/ｲﾉ/
- 図書登録番号：
- 5513546068
山形県立図書館
紙- 請求記号：
- 913.6-ｲﾉ
- 図書登録番号：
- 108804771
関東
さいたま市立中央図書館
紙- 請求記号：
- 913.6 ｲﾉ
- 図書登録番号：
- 01101381356
東京都立中央図書館
紙- 請求記号：
- 913.60-イ2564-601
- 図書登録番号：
- 7105177046
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-06-299038-7
- タイトルよみ
- コイ ト キンキ ノ プレディケット
- 著者・編者
- 井上真偽 著
- シリーズタイトル
- 出版事項
- 出版年月日等
- 2015.1
- 出版年（W3CDTF）
- 2015