Matches in Library of Congress for { <http://lccn.loc.gov/83004409%2F%2Fr89> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 83004409%2F%2Fr89 contributor B4392268.
- 83004409%2F%2Fr89 created "c1983.".
- 83004409%2F%2Fr89 date "1983".
- 83004409%2F%2Fr89 date "c1983.".
- 83004409%2F%2Fr89 dateCopyrighted "c1983.".
- 83004409%2F%2Fr89 description "Bibliography: p. 526-539.".
- 83004409%2F%2Fr89 extent "viii, 555 p. ;".
- 83004409%2F%2Fr89 identifier "9027715734".
- 83004409%2F%2Fr89 isPartOf "Synthese library ; v. 169".
- 83004409%2F%2Fr89 issued "1983".
- 83004409%2F%2Fr89 issued "c1983.".
- 83004409%2F%2Fr89 language "eng".
- 83004409%2F%2Fr89 publisher "Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston,".
- 83004409%2F%2Fr89 subject "511.3 19".
- 83004409%2F%2Fr89 subject "Intuitionistic mathematics.".
- 83004409%2F%2Fr89 subject "Modality (Logic)".
- 83004409%2F%2Fr89 subject "Proof theory.".
- 83004409%2F%2Fr89 subject "QA9.54 .F57 1983".
- 83004409%2F%2Fr89 title "Proof methods for modal and intuitionistic logics / Melvin Fitting.".
- 83004409%2F%2Fr89 type "text".