Matches in Library of Congress for { <http://lccn.loc.gov/88177396> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 88177396 contributor B5750239.
- 88177396 created "1988.".
- 88177396 date "1988".
- 88177396 date "1988.".
- 88177396 dateCopyrighted "1988.".
- 88177396 description "Includes bibliographical references (p. [95]).".
- 88177396 extent "100 p. ;".
- 88177396 identifier "8301076046".
- 88177396 isPartOf "Dissertationes mathematicae ; 261.".
- 88177396 isPartOf "Dissertationes mathematicae = Rozprawy mathematyczne, 0012-3862 ; 261".
- 88177396 issued "1988".
- 88177396 issued "1988.".
- 88177396 language "eng".
- 88177396 publisher "Warszawa : Państwowe Wydawn. Nauk.,".
- 88177396 subject "510 s 511.3/22 20".
- 88177396 subject "QA1 .D54 no. 261 QA248".
- 88177396 subject "Set theory.".
- 88177396 title "On normalization of proofs in set theory / Lars Hallnäs.".
- 88177396 type "text".