Matches in Library of Congress for { <http://lccn.loc.gov/96028596> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 96028596 contributor B7768742.
- 96028596 contributor B7768743.
- 96028596 created "1996.".
- 96028596 date "1996".
- 96028596 date "1996.".
- 96028596 dateCopyrighted "1996.".
- 96028596 description "Includes bibliographical references (p. 309-330) and index.".
- 96028596 extent "xi, 343 p. :".
- 96028596 identifier "0521572231 (hardback)".
- 96028596 identifier 96028596.html.
- 96028596 identifier 96028596.html.
- 96028596 isPartOf "Cambridge tracts in theoretical computer science ; 43".
- 96028596 issued "1996".
- 96028596 issued "1996.".
- 96028596 language "eng".
- 96028596 publisher "Cambridge ; New York : Cambridge University Press,".
- 96028596 subject "511.3 20".
- 96028596 subject "Proof theory.".
- 96028596 subject "QA9.54 .T76 1996".
- 96028596 title "Basic proof theory / A.S. Troelstra, H. Schwichtenberg.".
- 96028596 type "text".