Matches in Library of Congress for { <http://lccn.loc.gov/72096046> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 72096046 contributor B2096241.
- 72096046 created "1973.".
- 72096046 date "1973".
- 72096046 date "1973.".
- 72096046 dateCopyrighted "1973.".
- 72096046 description "Bibliography: p. 157-161.".
- 72096046 extent "vi, 161 p.".
- 72096046 identifier "0387061193 (New York)".
- 72096046 isPartOf "Lecture notes in mathematics (Springer-Verlag) ; 306.".
- 72096046 isPartOf "Lecture notes in mathematics, 306".
- 72096046 issued "1973".
- 72096046 issued "1973.".
- 72096046 language "eng".
- 72096046 publisher "Berlin, New York, Springer-Verlag,".
- 72096046 subject "510/.8 s 511/.3".
- 72096046 subject "Intuitionistic mathematics.".
- 72096046 subject "Proof theory.".
- 72096046 subject "QA3 .L28 no. 306 QA9".
- 72096046 title "Extensional Gödel functional interpretation; a consistency proof of classical analysis.".
- 72096046 type "text".