Wyniki
-
A theorem on definitionally complete logics
Ryszard Ładniak
Bulletin of the Section of Logic , 15 /1 (1986) s. 29-43 -
On the degree of maximality of definitionally complete logics
Ryszard Ładniak
Bulletin of the Section of Logic , 15 /2 (1986) s. 72-87