Wyniki
-
An absolute first order predicte calculus
Vladimir A. Smirnov
Bulletin of the Section of Logic , 2 /1 (1973) s. 38-43 -
Internal and external logic
Vladimir A. Smirnov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 170-181