Axiomatizations of Commutative and Nonassociative Ajdukiewicz Calculus

Bulletin of the Section of Logic, Tom 23, Numer 4 (1994) s. 151-157
Maciej Kandulski

 

do góry