Matches in Library of Congress for { <http://lccn.loc.gov/84112328> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 84112328 contributor B4684263.
- 84112328 created "1983.".
- 84112328 date "1983".
- 84112328 date "1983.".
- 84112328 dateCopyrighted "1983.".
- 84112328 description "Bibliography: p. [62]".
- 84112328 extent "66 p. ;".
- 84112328 identifier "8301026391".
- 84112328 isPartOf "Dissertationes mathematicae ; 207.".
- 84112328 isPartOf "Dissertationes mathematicae = Rozprawy matematyczne, 0012-3862 ; 207".
- 84112328 issued "1983".
- 84112328 issued "1983.".
- 84112328 language "eng".
- 84112328 publisher "Warszawa : Paʹnstwowe Wydawn. Nauk.,".
- 84112328 subject "510 s 511/.8 19".
- 84112328 subject "Model theory.".
- 84112328 subject "Proof theory.".
- 84112328 subject "QA1 .D54 no. 207 QA9.7".
- 84112328 title "Completeness properties of classical theories of finite type and the normal form theorem / Peter Päppinghaus.".
- 84112328 type "text".