Corrections for Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen ASL Perspectives in Logic Series Cambridge University Press, 2010.

First Page		Document Content
Date: 2010-11-13 17:15:51		Corrections for Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen ASL Perspectives in Logic Series Cambridge University Press, 2010. Add to Reading List Source URL: www.cs.toronto.edu Download Document from Source Website File Size: 25,68 KB Share Document on Facebook