An Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics

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

 

do góry