Wyniki
-
From the History of Constructive Logic with a Strong Negation : (Review of some Papers)
Czesław Wojtkiewicz
Bulletin of the Section of Logic , 1 /3 (1972) s. 62-71 -
Axiomatization of finite N-algebras by the method of T.Hosoi
Czesław Wojtkiewicz
Bulletin of the Section of Logic , 2 /2 (1973) s. 144-147