Quantified Intuitionistic Propositional Logic and Cantor Space

Bulletin of the Section of Logic, Tom 32, Numer 1-2 (2003) s. 65-74
Tomasz Połacik

 

do góry