このページのリンク

<図書>
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
コード類 書誌ID=2000795454 NCID=BA43452642

書誌詳細を表示

本文言語 英語
大きさ xii, 391 p. ; 25 cm
別書名 原タイトル: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

所蔵情報を非表示

理院・数学図書室・洋書
 /M 934 2070488637
0792359046 1999
理・科学基礎論
511.35/SY78 2070490846
0792359046 1999

 類似資料