A syntactical characterization of structural completeness for implicational logics

Bulletin of the Section of Logic, Tom 19, Numer 1 (1990) s. 2-9
Piotr Wojtylak

 

do góry