Matches in Library of Congress for { <http://lccn.loc.gov/78169705> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 78169705 contributor B3321589.
- 78169705 created "1971.".
- 78169705 date "1971".
- 78169705 date "1971.".
- 78169705 dateCopyrighted "1971.".
- 78169705 description "Bibliography: p. [291]".
- 78169705 extent "vii, 290, [1] p.".
- 78169705 identifier "354005541X".
- 78169705 isPartOf "Lecture notes in mathematics (Springer-Verlag) ; 212.".
- 78169705 isPartOf "Lecture notes in mathematics, 212".
- 78169705 issued "1971".
- 78169705 issued "1971.".
- 78169705 language "eng".
- 78169705 publisher "Berlin, New York, Springer-Verlag,".
- 78169705 subject "511/.3".
- 78169705 subject "Intuitionistic mathematics.".
- 78169705 subject "Proof theory.".
- 78169705 subject "QA3 .L28 no. 212 QA9".
- 78169705 title "Proof theory and intuitionistic systems.".
- 78169705 type "text".