![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: Cambridge University Press
E-ISSN: 1943-5886|33|2|180-192
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.33, Iss.2, 1968-07, pp. : 180-192
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)
Simplifying Smoktunowicz's Extraordinary Example
Communications in Algebra, Vol. 41, Iss. 11, 2013-11 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By de Berg M. Bose P. Cheong O. Morin P.
Computational Geometry, Vol. 27, Iss. 1, 2004-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
On simplifying truth-functional formulas
The Journal of Symbolic Logic, Vol. 21, Iss. 3, 1956-09 ,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. :