A note on unary rules and a complete syntactic characterisation of propositional calculi

Bulletin of the Section of Logic, Tom 21, Numer 4 (1992) s. 163-167
R. Zuber

 

do góry