Matches in Library of Congress for { <http://lccn.loc.gov/74164940> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 74164940 contributor B2456830.
- 74164940 created "1972.".
- 74164940 date "1972".
- 74164940 date "1972.".
- 74164940 dateCopyrighted "1972.".
- 74164940 description "Bibliography: leaf 23.".
- 74164940 extent "23 l.".
- 74164940 isPartOf "Oslo. Universitet. Matematisk institutt, Preprint series. Mathematics, 1972: no. 4.".
- 74164940 isPartOf "Preprint series. Mathematics, 1972: no. 4".
- 74164940 issued "1972".
- 74164940 issued "1972.".
- 74164940 language "eng".
- 74164940 publisher "Oslo, Universitetet i Oslo, Matematisk institutt,".
- 74164940 subject "511/.3".
- 74164940 subject "Intuitionistic mathematics.".
- 74164940 subject "Predicate calculus.".
- 74164940 subject "QA9.35 .J48".
- 74164940 title "On Skolem and Herbrand theorems for intuitionistic logic.".
- 74164940 type "text".