A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin

First Page		Document Content
Date: 2011-07-07 14:48:20 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space		A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.fields.utoronto.ca Download Document from Source Website File Size: 370,25 KB Share Document on Facebook