Matches in Library of Congress for { <http://lccn.loc.gov/81450172> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 81450172 contributor B4100716.
- 81450172 created "1980.".
- 81450172 date "1980".
- 81450172 date "1980.".
- 81450172 dateCopyrighted "1980.".
- 81450172 description "Bibliography: p. 59.".
- 81450172 extent "67 p. ;".
- 81450172 identifier "8301011033 (pbk.)".
- 81450172 isPartOf "Dissertationes mathematicae ; 167 0012-3862".
- 81450172 isPartOf "Dissertationes mathematicae ; 167.".
- 81450172 issued "1980".
- 81450172 issued "1980.".
- 81450172 language "eng".
- 81450172 publisher "Warszawa : Państwowe Wydawn. Naukowe : [available from Ars Polona],".
- 81450172 subject "510 s 511/.2 19".
- 81450172 subject "Intuitionistic mathematics.".
- 81450172 subject "QA1 .D54 no. 167 QA9.47".
- 81450172 title "An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / Cecylia Rauszer.".
- 81450172 type "text".