Tableau for quantified hybrid logic - Blackburn, Patrick 1959-; Marx, Maarten (Inst. for Logic, Language and Computation, 2003)
Keywords: Mathematische Logik