Matches in Library of Congress for { <http://lccn.loc.gov/77000706> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 77000706 contributor B3017782.
- 77000706 created "1978.".
- 77000706 date "1978".
- 77000706 date "1978.".
- 77000706 dateCopyrighted "1978.".
- 77000706 description "Bibliography: p. 278-284.".
- 77000706 extent "xii, 297 p. ;".
- 77000706 identifier "0720422868".
- 77000706 isPartOf "Studies in logic and the foundations of mathematics ; v. 88".
- 77000706 issued "1978".
- 77000706 issued "1978.".
- 77000706 language "eng".
- 77000706 publisher "Amsterdam ; New York : North-Holland Pub. Co. : New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland,".
- 77000706 subject "511/.3".
- 77000706 subject "Categories (Mathematics)".
- 77000706 subject "Combinatory logic.".
- 77000706 subject "Proof theory.".
- 77000706 subject "QA9.54 .S94".
- 77000706 title "Algebra of proofs / M. E. Szabo.".
- 77000706 type "text".