International Studies in Phenomenology and Philosophy
Springer
Problems in the logic of provability
Vol. 4
Lev Beklemishev, Albert Visser
Applied logic
Lawrence S. Moss
Two doors to open
Wilfrid Hodges
Open problems in logical dynamics
Johan van Benthem
Nonstandard inferences in description logics
Franz Baader, Ralf Küsters
Volume
Title
Author