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

この情報を出力する

このページのリンク

他の検索サイト

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski
(Synthese library ; v. 286)

データ種別 図書
出版者 Dordrecht ; Boston : Kluwer Academic Publishers
出版年 c1999
大きさ xii, 391 p. ; 25 cm

所蔵情報を非表示

文学部 哲学
410.9||M559 002201365


書誌詳細を非表示

書誌ID BB00452978
本文言語 英語
別書名 原タイトル:Funkcje rekurencyjne i elementy metamatematyki
一般注記 Bibliography: p. 341-375
Includes index
著者標目  *Murawski, Roman
件　名 LCSH:Recursive functions
LCSH:Decidability (Mathematical logic)
LCSH:Gödel's theorem
分　類 LCC:QA9.615
DC21:511.3/5
巻冊次 ISBN:0792359046 RefWorks出力（各巻）
NCID BA43452642
目次・あらすじ

 類似資料

検索結果一覧に戻る