CiNiiで詳細を確認

このページのURL

この文献を取り寄せる

<図書>
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
本文言語 英語
書誌ID 2003379383
NCID BA43452642 WCLINK

所蔵情報を非表示

理数学図

12200143357

0792359046

書誌詳細を非表示

別書名 原タイトル: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