![](/img/cover-not-exists.png)
Completeness and incompleteness for intuitionistic logic
Mccarty, CharlesVolume:
73
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1230396921
Date:
December, 2008
File:
PDF, 941 KB
english, 2008