Quantifiers and Congruence Closure Jörg FlumMatthias SchiehlenJouko Väänänen OriginalPaper Pages: 315 - 340
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic Mohammad Ardeshir OriginalPaper Pages: 341 - 352
Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4 Fabio BellissimaSaverio Cittadini OriginalPaper Pages: 371 - 398
A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems Benjamin BlankertzAndreas Weiermann OriginalPaper Pages: 399 - 427