The Deduction Theorems for Propositional Calculi when Implication and Falsum is Present

Bulletin of the Section of Logic, Tom 1, Numer 2 (1972) s. 25-27
Ewa Żarnecka-Biały

 

do góry