Matches in Library of Congress for { <http://lccn.loc.gov/72083378> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 72083378 contributor B2083216.
- 72083378 created "[1972]".
- 72083378 date "1972".
- 72083378 date "[1972]".
- 72083378 dateCopyrighted "[1972]".
- 72083378 description "Akademisk avhandling--Uppsala.".
- 72083378 description "Bibliography: p. 177-180.".
- 72083378 extent "184 p.".
- 72083378 identifier "9027703051".
- 72083378 isPartOf "Synthese library".
- 72083378 issued "1972".
- 72083378 issued "[1972]".
- 72083378 language "eng".
- 72083378 publisher "Dordrecht, D. Reidel".
- 72083378 subject "511/.3".
- 72083378 subject "Combinatory logic.".
- 72083378 subject "Proof theory.".
- 72083378 subject "QA9 .S753".
- 72083378 title "Combinators, -terms and proof theory.".
- 72083378 type "text".