Quantifiers and Congruence Closure
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic
Conservative Theories of Classical Truth
Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4
A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems**
The Logic of Essentialism
Modale Syllogismen, mögliche Welten, Essentialismus
Thinking About Logic
A New Introduction to Modal Logic,
Fuzzy Databases
Set Theory
Logic and Reality
Contents of Volume 62