Three semantics for Intuitionistic Sentential Calculus with Identity

Bulletin of the Section of Logic, Tom 22, Numer 1 (1993) s. 24-27
Piotr Łukowski

 

do góry