A theorem on definitionally complete logics

Bulletin of the Section of Logic, Tom 15, Numer 1 (1986) s. 29-43
Ryszard Ładniak

 

do góry