資料詳細

  • 1 件中、 1 件目

【図書】 数理論理学

復刊 --
松本和夫 ／著   -- 共立出版 -- ２００１．０８ -- ２２ｃｍ -- １９２，３ｐ

資料詳細

タイトル 数理論理学
版情報 復刊
著者名等 松本和夫 ／著  
出版 共立出版 ２００１．０８
大きさ等 ２２ｃｍ １９２，３ｐ
分類 410.96
件名 記号論理学
内容 文献あり　索引あり
要旨 数学基礎論の強力な手段であると共に、電子回路などへの工学的応用、さらには近年の機械学習理論への適用においても、その重要性が認識されている数理論理学の最も基本的な内容が非常に要領よくまとめられた書。
目次 第１章　命題論理；第２章　述語論理；第３章　直観主義論理；第４章　述語計算ＬＫ；第５章　自然数論；第６章　様相論理；第７章　束論と論理
ISBN(13)、ISBN 　　 4-320-01682-3
書誌番号 1101049609
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1101049609

ページの先頭へ

所蔵

所蔵は 2 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/201 一般書 利用可 - 2041865620 iLisvirtual
中央 書庫 410.9/50 一般書 利用可 - 2025515130 iLisvirtual

ページの先頭へ