Modal interpretation of Heyting-Brouwer logic

Bulletin of the Section of Logic, Tom 25, Numer 2 (1996) s. 80-83
Piotr Łukowski

 

do góry