Construction of classical propositional logic

Bulletin of the Section of Logic, Tom 22, Numer 3 (1993) s. 92-97
Alexander S. Karpenko

 

do góry