![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: Cambridge University Press
E-ISSN: 1943-5886|28|2|135-142
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.28, Iss.2, 1963-06, pp. : 135-142
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)
The Journal of Symbolic Logic, Vol. 18, Iss. 4, 1953-12 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
The problem of simplifying logical expressions
The Journal of Symbolic Logic, Vol. 24, Iss. 1, 1959-03 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Logical truth and logical implication
The Journal of Symbolic Logic, Vol. 31, Iss. 4, 1966-12 ,pp. :