Wyniki
-
Some Notes of Superintuitionistic Logic of Chequered Subsets of Rω
Tadeusz Litak
Bulletin of the Section of Logic , 33 /2 (2004) s. 81-86 -
The Non-reflexive Counterpart of Grz
Tadeusz Litak
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 195-208