Matches in Library of Congress for { <http://lccn.loc.gov/89014539> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 89014539 contributor B5856637.
- 89014539 created "c1990.".
- 89014539 date "1990".
- 89014539 date "c1990.".
- 89014539 dateCopyrighted "c1990.".
- 89014539 description "Bibliography: [228]-234.".
- 89014539 extent "239 p. :".
- 89014539 identifier "0262231441".
- 89014539 isPartOf "MIT Press series in artificial intelligence".
- 89014539 issued "1990".
- 89014539 issued "c1990.".
- 89014539 language "eng".
- 89014539 publisher "Cambridge, Mass. : MIT Press,".
- 89014539 subject "511.3 20".
- 89014539 subject "Intuitionistic mathematics.".
- 89014539 subject "Modality (Logic)".
- 89014539 subject "Proof theory.".
- 89014539 subject "QA9.54 .W35 1990".
- 89014539 title "Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen.".
- 89014539 type "text".