Natural deduction in quantifier modal logic

Bulletin of the Section of Logic, Tom 23, Numer 1 (1994) s. 30-40
Andrzej Indrzejczak

 

do góry