Kenneth A. Bowen

Identifiers

Open LibraryOL888026A

Top Subjects

Set theory (1)
Cardinal numbers (1)
Modality (Logic) (1)
Model theory (1)
Predicate calculus (1)
Pascal (Computer program language) (1)

Books by Kenneth A. Bowen

Total count: 4

The relative consistency of some consequences of the existence of measurable cardinal numbers

Państowowe Wydawn. Naukowe1972-01-01
Model theory for modal logicKripke models for modal predicate calculi

D. Reidel Pub. Co.1979-01-01
Speaking Pascal

Hayden Book Co.1981-01-01
Prolog and expert systems

McGraw-Hill1991-01-01