![](/img/cover-not-exists.png)
Another intuitionistic completeness proof
De Swart, H.Volume:
41
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/S0022481200051215
Date:
September, 1976
File:
PDF, 863 KB
english, 1976