First Page | Document Content | |
---|---|---|
Date: 2011-07-07 14:48:20Mathematics 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 MartinAdd to Reading ListSource URL: www.fields.utoronto.caDownload Document from Source WebsiteFile Size: 370,25 KBShare Document on Facebook |