Matches in Library of Congress for { <http://lccn.loc.gov/78013182> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 78013182 alternative "Kripke models for modal predicate calculi.".
- 78013182 contributor B3261789.
- 78013182 created "c1979.".
- 78013182 date "1979".
- 78013182 date "c1979.".
- 78013182 dateCopyrighted "c1979.".
- 78013182 description "Bibliography: p. 119-122.".
- 78013182 extent "x,, 127 p. ;".
- 78013182 isPartOf "Synthese library ; v. 127".
- 78013182 issued "1979".
- 78013182 issued "c1979.".
- 78013182 language "eng".
- 78013182 publisher "Dordrecht, Holland ; Boston : D. Reidel Pub. Co.,".
- 78013182 subject "511/.3".
- 78013182 subject "Modality (Logic)".
- 78013182 subject "Model theory.".
- 78013182 subject "Predicate calculus.".
- 78013182 subject "QA9.46 .B68".
- 78013182 title "Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen.".
- 78013182 type "text".