Wajsberg's algorithm for the classical propositional calculus

Bulletin of the Section of Logic, Tom 2, Numer 2 (1973) s. 97-100
Ewa Żarnecka-Biały

 

do góry