選択資料から書架並びで前後20冊ずつを表示します。
幾何的モデル理論入門 : モデル理論の代数, 数論幾何への応用 / 板井昌典著
書庫2階
情報理論のための数理論理学 / 板井昌典著
書庫2階
モデル理論 = Model theory / 板井昌典著
書庫2階
コンピュータサイエンスにおける様相論理 / 鹿島亮著
書庫2階
数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著
書庫2階
フレーゲの哲学 / アンソニー・ケニー[著] ; 野本和幸[ほか] 訳
書庫2階
現代数理論理学序説 / 古森雄一 , 小野寛晰著
書庫2階
数理論理学原論 : 近代ポーランド論理学の原典 / ヤン・ウカシェーヴィチ著 ; 高松鶴吉訳
書庫2階
数学と新しい論理 : 数学的帰納法をめぐって / 本橋信義著
書庫2階
今度こそわかる論理 : 数理論理学はなぜわかりにくいのか / 本橋信義著
書庫2階