Some extensions of the Brouwerian logic

Bulletin of the Section of Logic, Tom 9, Numer 2 (1980) s. 78-84
G.E. Hughes

 

do góry