Intuitionistic sentential calculus with identity

Bulletin of the Section of Logic, Tom 19, Numer 3 (1990) s. 92-99
Piotr Łukowski

 

do góry