Natural Deduction, Hybrid Systems and Modal Logics

Bok av Andrzej. Indrzejczak