検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ The unprovability of consistency : an essay in modal logic
書誌詳細
  

NCIDBA00989199
タイトルThe unprovability of consistency : an essay in modal logic / George Boolos
出版者Cambridge ; New York : Cambridge University Press , 1979
形態viii, 184 p. ; 22 cm
注記Bibliography: p. 180-182
Includes index
分類LCC:BC199.M6
DC:160
件名LCSH:Modality(Logic)
LCSH:Prooftheory
著者情報Boolos, George
和洋区分洋
標題言語英語
本文言語英語
出版国アメリカ合衆国
ISBN0521218799
番号LCCN : 77085710
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0図書館(書庫)116:B933313601 利用可  

選択行を：  

▲ページトップへ