検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ Intuitionistic logic, model theory and forcing
書誌情報:Intuitionistic logic, model theory and forcing
M.C. Fitting
Amsterdam : North-Holland Pub. Co. , 1969
191 p. ; 23 cm

WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号登録番号資料ID状態貸出区分備考 
1 0亀岡本館:書庫
  • 116.3
  • F29i
  •  
100203560075296H 利用可
図書（帯出可） 

選択行を：  

書誌詳細
刊年1969
形態191 p. ; 23 cm
シリーズ名Studies in logic and the foundations of mathematics
注記Bibliography: p. [188]-189
出版国オランダ
標題言語英語
本文言語英語
著者情報Fitting, Melvin Chris
分類LCC:QA9
DC:512/.817
ISBN9780720422566
件名LCSH:Modeltheory
LCSH:Axiomaticsettheory
LCSH:Forcing(Modeltheory)
NCIDBA03949678
番号NBN : NE6950LCCN : 79102718

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ