Matches in Library of Congress for { <http://lccn.loc.gov/89148839> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 89148839 contributor B5959135.
- 89148839 contributor B5959136.
- 89148839 created "c1988.".
- 89148839 date "1988".
- 89148839 date "c1988.".
- 89148839 dateCopyrighted "c1988.".
- 89148839 description "Includes bibliographical references (p. 121-122).".
- 89148839 extent "122 p. ;".
- 89148839 identifier "8870881660".
- 89148839 isPartOf "Studies in proof theory. Monographs ; 2".
- 89148839 issued "1988".
- 89148839 issued "c1988.".
- 89148839 language "eng".
- 89148839 publisher "Napoli : Bibliopolis,".
- 89148839 subject "511.3 20".
- 89148839 subject "Mathematical analysis Foundations.".
- 89148839 subject "Proof theory.".
- 89148839 subject "QA299.8 .B83 1988".
- 89148839 title "Proof theory of impredicative subsystems of analysis / Wilfried Buchholz, Kurt Schütte.".
- 89148839 type "text".