XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus

Bulletin of the Section of Logic, Tom 32, Numer 3 (2003) s. 131-136
Larry Wos, Dolph Urlich, Branden Fitelson

 

do góry