![](/img/cover-not-exists.png)
A new way of normalizing intuitionist propositional logic
Garrel PottingerVolume:
35
Year:
1976
Language:
english
Pages:
22
Journal:
Studia Logica
DOI:
10.1007/bf02123405
File:
PDF, 958 KB
english, 1976