Wyniki
-
Completions of TV-> from H->
Zachary Ernst
Bulletin of the Section of Logic , 31 /1 (2002) s. 7-14 -
A Concise Axiomatization of RM->
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
Bulletin of the Section of Logic , 30 /4 (2001) s. 191-195