検索条件入力検索結果一覧:(本学所蔵) > An introduction to mathematical logic and type theory : to truth through proof
書誌詳細
  

NCIDBA58934443
タイトルAn introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
版次2nd ed.
出版者Dordrecht ; Tokyo : Kluwer Academic , c2002
形態xviii, 390 p. ; 25 cm
注記Includes bibliographical references (p. 371-380) and index
シリーズ名Applied logic series ; v. 27
著者情報Andrews, P. B. (Peter Bruce), 1937-
和洋区分
標題言語英語
本文言語英語
出版国オランダ
ISBN1402007639
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0教養共4F哲学410.9:A204802407 研究室  

選択行を: