123    

書誌番号	0000161282
言語	jpn : 日本語
NACSIS ID	BB20937821
和洋区分	和資料
書名	数学における証明と真理 : 様相論理と数学基礎論
書名カナ	スウガク ニ オケル ショウメイ ト シンリ : ヨウソウ ロンリ ト スウガク キソロン
その他タイトル	奥付タイトル||Proof and truth in mathematics modal logic and the foundations of mathematics
著者名	佐野勝彦 [ほか] 著 ; 菊池誠編
出版事項	東京 : 共立出版, 2016.3
形態	x, 288p ; 22cm
分類	NDC8版 : 410 NDC9版 : 410
巻冊次表示	Vol No 巻書名 ISBN 表示価格 書籍リンク 1 9784320111486 4200円+税
著者名標目	佐野, 勝彦||サノ, カツヒコ DA17979899 菊池, 誠(数学)||キクチ, マコト DA18334006 倉橋, 太志||クラハシ, タイシ DA18440841 薄葉, 季路||ウスバ, トシミチ DA18440910 黒川, 英徳||クロカワ, ヒデノリ DA18440943
件名	[普通件名] : 証明(数学) [普通件名] : 様相(論理学)
内容著作注記	数理論理学の基礎 / 菊池誠 [執筆] 様相論理入門 / 佐野勝彦 [執筆] 証明可能性論理 / 倉橋太志 [執筆] 強制法と様相論理 / 薄葉季路 [執筆] 真理と様相 / 黒川英徳 [執筆]
注記	参考文献: 各部末 索引: p[283]-288 その他の著者: 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠

該当件数：2件

巻書名	所蔵ID	配架場所	請求記号	ステータス	返却予定日		予約数
	111925593	学習室	410   Sa66	貸出可能			0
	120123873	研究室	410   Sa66	持出禁止

[予約]：チェックした資料に対し予約申込を行います[請求]：チェックした資料に対し請求票を印刷します

123