Natural Deduction, Hybrid Systems and Modal Logics Más libros de Andrzej Indrzejczak

Sequents and Trees

2020