Matches in Library of Congress for { <http://lccn.loc.gov/73014239> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 73014239 contributor B2235578.
- 73014239 created "1973.".
- 73014239 date "1973".
- 73014239 date "1973.".
- 73014239 dateCopyrighted "1973.".
- 73014239 description "Bibliography: p. [462]-475.".
- 73014239 extent "xvii, 486 p.".
- 73014239 identifier "0387064915 (New York)".
- 73014239 isPartOf "Lecture notes in mathematics (Springer-Verlag) ; 344.".
- 73014239 isPartOf "Lecture notes in mathematics, 344".
- 73014239 issued "1973".
- 73014239 issued "1973.".
- 73014239 language "eng".
- 73014239 publisher "Berlin, Heidelberg, New York, Springer,".
- 73014239 subject "510/.8 s 511/.3".
- 73014239 subject "Intuitionistic mathematics.".
- 73014239 subject "Model theory.".
- 73014239 subject "Proof theory.".
- 73014239 subject "QA3 .L28 no. 344 QA9.47".
- 73014239 title "Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.).".
- 73014239 type "text".