The Algebraic Interpretation of Classical and Intuitionistic Quantifiers Dana S. Scott Craig Fest

First Page		Document Content
Date: 2007-05-16 19:48:15		The Algebraic Interpretation of Classical and Intuitionistic Quantifiers Dana S. Scott Craig Fest Add to Reading List Source URL: sophos.berkeley.edu Download Document from Source Website File Size: 155,54 KB Share Document on Facebook