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 -
New directions in foundations of mathematics
J. N. Crossley
Bulletin of the Section of Logic , 6 /3 (1977) -
Products of Tree Languages
K. Denecke, N. Sarasit
Bulletin of the Section of Logic , 40 /1-2 (2011) s. 13-36