On Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics

Bulletin of the Section of Logic, Tom 1, Numer 1 (1972) s. 38-44
Andrzej Wroński

 

do góry