Natural Deduction System for Tense Logics

Bulletin of the Section of Logic, Tom 23, Numer 4 (1994) s. 173
Andrzej Indrzejczak

 

do góry