Propositional proof system - Document - PDFSEARCH.IO

First Page	Meta Content
	The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROV Add to Reading List Document Date: 2009-03-27 12:21:11 Open Document File Size: 413,58 KB Share Result on Facebook

UPDATE

The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROVAdd to Reading List