Wyniki
-
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
Zachary Ernst,
Branden Fitelson,
Kenneth Harris,
Larry Wos
Bulletin of the Section of Logic
, 30
/4
(2001)
s. 191-195