Matches in Library of Congress for { <http://lccn.loc.gov/99041793> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 99041793 alternative "Funkcje rekurencyjne i elementy metamatematyki. English".
- 99041793 contributor B8665584.
- 99041793 created "c1999.".
- 99041793 date "1999".
- 99041793 date "c1999.".
- 99041793 dateCopyrighted "c1999.".
- 99041793 description "Includes bibliographical references (p. 341-375) and index.".
- 99041793 extent "xii, 391 p. ;".
- 99041793 identifier "0792359046 (acid-free paper)".
- 99041793 identifier 99041793-d.html.
- 99041793 identifier 99041793-t.html.
- 99041793 isPartOf "Synthese library ; v. 286".
- 99041793 issued "1999".
- 99041793 issued "c1999.".
- 99041793 language "eng".
- 99041793 publisher "Dordrecht, Netherlands ; Boston : Kluwer Academic ,".
- 99041793 subject "511.3/5 21".
- 99041793 subject "Decidability (Mathematical logic)".
- 99041793 subject "Gödel's theorem.".
- 99041793 subject "QA9.615 .M8713 1999".
- 99041793 subject "Recursive functions.".
- 99041793 title "Funkcje rekurencyjne i elementy metamatematyki. English".
- 99041793 title "Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski.".
- 99041793 type "text".