Wyniki
-
The degree of completeness of Godel's logic
Paweł Bielak
Bulletin of the Section of Logic , 2 /2 (1973) s. 134-137 -
A note on weak functional completeness
Paweł Bielak
Bulletin of the Section of Logic , 3 /2 (1974) s. 38-40 -
On functions definable in implicational algebras
Paweł Bielak
Bulletin of the Section of Logic , 3 /3-4 (1974) s. 24-26