![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: Cambridge University Press
E-ISSN: 1943-5886|41|1|45-49
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.41, Iss.1, 1976-03, pp. : 45-49
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)
Krom formulas with one dyadic predicate letter
The Journal of Symbolic Logic, Vol. 41, Iss. 2, 1976-06 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Nearly One-Sided Tests and the Goldreich–Levin Predicate
By Hast Gustav
Journal of Cryptology, Vol. 17, Iss. 3, 2004-06 ,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)
On formulas of one variable in intuitionistic propositional calculus
The Journal of Symbolic Logic, Vol. 25, Iss. 4, 1960-12 ,pp. :