こちらに共通ヘッダが追加されます。
検索結果一覧に戻る

この情報を出力する

このページのリンク

他の検索サイト

Formal number theory and computability : a workbook / by Alec Fisher
(Oxford logic guides ; 7)

データ種別 図書
出版者 Oxford [Oxfordshire] : Clarendon Press
出版年 1982
大きさ xiii, 190 p. : ill. ; 25 cm

所蔵情報を非表示

理工学部 機械系
116.3||F5 850702188


書誌詳細を非表示

書誌ID BB00000085
本文言語 英語
一般注記 Bibliography: p. [187]-188
Includes index
著者標目  *Fisher, Alec
件　名 LCSH:Numbers, Theory of
LCSH:Gödel's theorem
LCSH:Incompleteness theorems
NDLSH:整数論
分　類 LCC:QA241
DC19:512/.72
NDC8:412.1
巻冊次 ISBN:0198531788 ; PRICE:$19.50 RefWorks出力（各巻）
: pbk ; ISBN:0198531885 RefWorks出力（各巻）
NCID BA00017776
目次・あらすじ

 類似資料

検索結果一覧に戻る