Matches in Library of Congress for { <http://lccn.loc.gov/87134107> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 87134107 contributor B5476862.
- 87134107 created "1986.".
- 87134107 date "1986".
- 87134107 date "1986.".
- 87134107 dateCopyrighted "1986.".
- 87134107 description "Bibliography: p. 162-167.".
- 87134107 extent "167 p. ;".
- 87134107 identifier "8870881490 (pbk.) :".
- 87134107 isPartOf "Studies in proof theory ; 2".
- 87134107 issued "1986".
- 87134107 issued "1986.".
- 87134107 language "eng".
- 87134107 publisher "Napoli : Bibliopolis,".
- 87134107 subject "511.3 19".
- 87134107 subject "Admissible sets.".
- 87134107 subject "Proof theory.".
- 87134107 subject "QA9.54 .J34 1986".
- 87134107 title "Theories for admissible sets : a unifying approach to proof theory / Gerhard Jäger.".
- 87134107 type "text".