Wyniki
-
On information functions, part two: Applications to the logic of theory change
Krzysztof Szymanek
Bulletin of the Section of Logic , 18 /1 (1989) s. 13-19 -
Classical subtheories and intuitionism
Krzysztof Szymanek
Bulletin of the Section of Logic , 18 /3 (1989) s. 112-115