A new variant of the Godel-Malcev theorem for the classical propositional calculus

Bulletin of the Section of Logic, Tom 14, Numer 1 (1985) s. 8-12
Zdzisław Dywan

 

do góry