Matches in Library of Congress for { <http://lccn.loc.gov/00702855> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 00702855 contributor B288017.
- 00702855 contributor B288018.
- 00702855 created "2000.".
- 00702855 date "2000".
- 00702855 date "2000.".
- 00702855 dateCopyrighted "2000.".
- 00702855 description "Includes bibliographical references (p. 379-403) and index.".
- 00702855 extent "xii, 417 p. :".
- 00702855 identifier "0521779111 (pbk.)".
- 00702855 identifier 00702855.html.
- 00702855 identifier 00702855.html.
- 00702855 identifier 00702855.html.
- 00702855 isPartOf "Cambridge tracts in theoretical computer science ; 43".
- 00702855 issued "2000".
- 00702855 issued "2000.".
- 00702855 language "eng".
- 00702855 publisher "Cambridge ; New York : Cambridge University Press,".
- 00702855 subject "511.3 21".
- 00702855 subject "Proof theory.".
- 00702855 subject "QA9.54 .T76 2000".
- 00702855 title "Basic proof theory / A.S. Troelstra, H. Schwichtenberg.".
- 00702855 type "text".