Sequential Calculi for Many-valued Logics with Equality Determinant

Bulletin of the Section of Logic, Tom 33, Numer 1 (2004) s. 23-32
Alexej P. Pynko

 

do góry