A Concise Axiomatization of RM->

Bulletin of the Section of Logic, Tom 30, Numer 4 (2001) s. 191-195
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos

 

do góry