Matches in Library of Congress for { <http://lccn.loc.gov/92013877> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 92013877 contributor B6627565.
- 92013877 created "c1992.".
- 92013877 date "1992".
- 92013877 date "c1992.".
- 92013877 dateCopyrighted "c1992.".
- 92013877 description "Includes bibliographical references (p. 229-233) and index.".
- 92013877 extent "v, 236 p. :".
- 92013877 identifier "0937073822 (pbk.) :".
- 92013877 identifier "0937073830 :".
- 92013877 identifier 92013877.html.
- 92013877 identifier 92013877.html.
- 92013877 isPartOf "CSLI lecture notes ; no. 28".
- 92013877 issued "1992".
- 92013877 issued "c1992.".
- 92013877 language "eng".
- 92013877 publisher "Stanford, CA : CSLI,".
- 92013877 subject "511.3 20".
- 92013877 subject "Proof theory.".
- 92013877 subject "QA9.54 .U54 1992".
- 92013877 title "Normalization, cut-elimination, and the theory of proofs / A.M. Ungar.".
- 92013877 type "text".