![](/img/cover-not-exists.png)
A New Way of Normalizing Intuitionist Propositional Logic
Garrel PottingerVolume:
35
Year:
1976
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20014828
File:
PDF, 1.93 MB
english, 1976