![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: Cambridge University Press
E-ISSN: 1943-5886|62|4|1179-1186
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.62, Iss.4, 1997-12, pp. : 1179-1186
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Gödel Theorems for Non-Constructive Logics
The Journal of Symbolic Logic, Vol. 2, Iss. 3, 1937-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A constructive Galois connection between closure and interior
The Journal of Symbolic Logic, Vol. 77, Iss. 4, 2012-12 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Archive for Mathematical Logic, Vol. 43, Iss. 8, 2004-11 ,pp. :