Matches in Library of Congress for { <http://lccn.loc.gov/74164921> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 74164921 contributor B2456804.
- 74164921 created "1971]".
- 74164921 date "1971".
- 74164921 date "1971]".
- 74164921 dateCopyrighted "1971]".
- 74164921 description "Bibliography: leaf 10.".
- 74164921 extent "[1] 10 l.".
- 74164921 isPartOf "Oslo. Universitet. Matematisk Institutt. Preprint series. Mathematics, 20.".
- 74164921 isPartOf "Preprint series. Mathematics, 22".
- 74164921 issued "1971".
- 74164921 issued "1971]".
- 74164921 language "eng".
- 74164921 publisher "[Oslo, Universitetet i Oslo, Matematisk institutt,".
- 74164921 subject "511/.3".
- 74164921 subject "Intuitionistic mathematics.".
- 74164921 subject "Predicate calculus.".
- 74164921 subject "QA9.35 .J47".
- 74164921 title "Craig's interpolation theorem for the intuitionistic logic of constant domains.".
- 74164921 type "text".