Matches in Library of Congress for { <http://lccn.loc.gov/94222366> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 94222366 contributor B7356396.
- 94222366 created "1994.".
- 94222366 date "1994".
- 94222366 date "1994.".
- 94222366 dateCopyrighted "1994.".
- 94222366 description "Includes bibliographical references and index.".
- 94222366 extent "xv, 202 p. ;".
- 94222366 identifier "052142027X (hardback)".
- 94222366 identifier 94222366.html.
- 94222366 identifier 94222366.html.
- 94222366 identifier 94222366.html.
- 94222366 isPartOf "Cambridge tracts in theoretical computer science ; 38".
- 94222366 issued "1994".
- 94222366 issued "1994.".
- 94222366 language "eng".
- 94222366 publisher "Cambridge ; New York : Cambridge University Press,".
- 94222366 subject "511.3/0285/53 20".
- 94222366 subject "Automatic theorem proving.".
- 94222366 subject "Gödel's theorem Data processing.".
- 94222366 subject "QA9.65 .S53 1994".
- 94222366 title "Metamathematics, machines, and Gödel's proof / N. Shankar.".
- 94222366 type "text".