検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ Recursion theory for metamathematics
書誌詳細
  

NCIDBA19515633
タイトルRecursion theory for metamathematics / Raymond M. Smullyan
出版者New York : Oxford University Press , 1993
形態xiv, 163 p. ; 25 cm
注記Includes bibliographical references and index
シリーズ名Oxford logic guides ; 22
分類LCC:QA9.6
DC20:511.3/5
件名LCSH:Recursiontheory
著者情報Smullyan, Raymond M., 1919-
和洋区分洋
標題言語英語
出版国アメリカ合衆国
ISBN019508232X
番号LCCN : 92040495
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0教養共４Ｆ哲学410.9:S968075200 研究室  

選択行を：  

▲ページトップへ