Recursive functions and metamathematics
Subtitle: problems of completeness and decidability, Gödel's theorems
By: Roman Murawski.
Series: Synthese library -- v. 286
Publisher: Kluwer Academic
Published: 1999
Place of publication: Dordrecht, Netherlands; Boston
Language: eng
Number of pages: 391
Subjects: Recursive functions; Decidability (Mathematical logic); Gödel's theorem
Work titles: Funkcje rekurencyjne i elementy metamatematyki.
Notes: Includes bibliographical references (p. 341-375) and index.