Publisher: Cambridge University Press
E-ISSN: 1943-5886|73|2|578-592
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.73, Iss.2, 2008-06, pp. : 578-592
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
Polynomial size proofs of the propositional pigeonhole principle
The Journal of Symbolic Logic, Vol. 52, Iss. 4, 1987-12 ,pp. :
Matrix identities and the pigeonhole principle
Archive for Mathematical Logic, Vol. 43, Iss. 3, 2004-04 ,pp. :
Isols and the pigeonhole principle
The Journal of Symbolic Logic, Vol. 54, Iss. 3, 1989-09 ,pp. :