Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002214932/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog contributor b3187923.
- catalog created "1990.".
- catalog date "1990".
- catalog date "1990.".
- catalog dateCopyrighted "1990.".
- catalog description "Includes bibliographical references (p. [175]-179) and index.".
- catalog extent "186 p. ;".
- catalog identifier "8323203555".
- catalog isPartOf "Seria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 11".
- catalog isPartOf "Seria Matematyka ; nr. 11.".
- catalog issued "1990".
- catalog issued "1990.".
- catalog language "pol eng".
- catalog language "pol".
- catalog publisher "Poznań : Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu,".
- catalog subject "Completeness theorem.".
- catalog subject "Decidability (Mathematical logic)".
- catalog subject "Gödel's theorem.".
- catalog subject "Metamathematics.".
- catalog subject "QA9.615 .M87 1990".
- catalog subject "Recursive functions.".
- catalog title "Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski.".
- catalog type "text".