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