Matches in Library of Congress for { <http://lccn.loc.gov/80508981> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 80508981 contributor B3906194.
- 80508981 created "1976.".
- 80508981 date "1976".
- 80508981 date "1976.".
- 80508981 dateCopyrighted "1976.".
- 80508981 description "Bibliography: p. [45]".
- 80508981 extent "49 p. ;".
- 80508981 isPartOf "Dissertationes mathematicae ; 136".
- 80508981 isPartOf "Dissertationes mathematicae ; 136.".
- 80508981 issued "1976".
- 80508981 issued "1976.".
- 80508981 language "eng".
- 80508981 publisher "Warszawa : Państwowe Wydawn. Naukowe,".
- 80508981 subject "510 s 511.3 19".
- 80508981 subject "Many-valued logic.".
- 80508981 subject "Predicate calculus.".
- 80508981 subject "QA1 .D54 no. 136 QA9.45".
- 80508981 title "Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture / J. Y. Girard.".
- 80508981 type "text".