Wyniki
-
Extended Frege and Gaussian Elimination
Michael Sołtys
Bulletin of the Section of Logic , 31 /4 (2002) s. 189-205
Michael Sołtys
Bulletin of the Section of Logic
, 31
/4
(2002)
s. 189-205