Matches in Library of Congress for { <http://lccn.loc.gov/66005084%2F%2Fr842> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 66005084%2F%2Fr842 contributor B1670804.
- 66005084%2F%2Fr842 created "1965.".
- 66005084%2F%2Fr842 date "1965".
- 66005084%2F%2Fr842 date "1965.".
- 66005084%2F%2Fr842 dateCopyrighted "1965.".
- 66005084%2F%2Fr842 description "Bibliography: p. 141.".
- 66005084%2F%2Fr842 extent "xv, 143 p.".
- 66005084%2F%2Fr842 isPartOf "Studies in logic and the foundations of mathematics".
- 66005084%2F%2Fr842 issued "1965".
- 66005084%2F%2Fr842 issued "1965.".
- 66005084%2F%2Fr842 language "eng".
- 66005084%2F%2Fr842 publisher "Amsterdam, North-Holland Pub. Co.,".
- 66005084%2F%2Fr842 subject "164".
- 66005084%2F%2Fr842 subject "QA9 .A64".
- 66005084%2F%2Fr842 subject "Type theory.".
- 66005084%2F%2Fr842 title "A transfinite type theory with type variables, by P.B. Andrews.".
- 66005084%2F%2Fr842 type "text".