D-complete Axioms for the Classical Equivalential Calculus

Bulletin of the Section of Logic, Tom 34, Numer 3 (2005) s. 135-142
Dolph Urlich

 

do góry