The Locator -- [(author = "Bowen Kenneth")]

19 records matched your query       

Record 15 | Previous Record | MARC Display | Next Record | Search Results
Author:
Bowen, Kenneth A.
Title:
Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen.
Publisher:
D. Reidel Pub. Co.,
Copyright Date:
c1979
Description:
x,, 127 p. ; 23 cm.
Subject:
Modality (Logic)
Model theory.
Predicate calculus
Other Titles:
Kripke models for modal predicate calculi.
Notes:
Includes indexes. Bibliography: p. 119-122.
Series:
Synthese library ; v. 127
LCCN:
78013182
Locations:
USUX851 -- Iowa State University - Parks Library (Ames)
OVUX522 -- University of Iowa Libraries (Iowa City)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.