![](/img/cover-not-exists.png)
On a second order propositional operator in intuitionistic logic
A. S. TroelstraVolume:
40
Year:
1981
Language:
english
Pages:
27
Journal:
Studia Logica
DOI:
10.1007/bf01874704
File:
PDF, 1.69 MB
english, 1981