Funkcje rekurencyjne i elementy metamatematyki
Subtitle: problemy zupełności, rozstrzygalności, twierdzenia Gödla
By: Roman Murawski.
Edition: Wyd. 1.
Series: Seria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu,; nr 11; Seria Matematyka ;; nr. 11.
Publisher: Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu
Published: 1990
Place of publication: Poznań
Language: pol
Number of pages: 186
Subjects: Recursive functions.; Metamathematics.; Completeness theorem.; Decidability (Mathematical logic); Gödel's theorem.
Notes: Includes bibliographical references (p. [175]-179) and index.
Summary in English.