The complexity of positive first-order logic without equality FLORENT MADELAINE Clermont Universit, Universit d’Auvergne, LIMOS. CNRS, UMR 6158, LIMOS. and

First Page		Document Content
Date: 2011-01-14 21:47:14 Finite model theory FO IP Symbol Base Mathematics Creativity		The complexity of positive first-order logic without equality FLORENT MADELAINE Clermont Universit, Universit d’Auvergne, LIMOS. CNRS, UMR 6158, LIMOS. and Add to Reading List Source URL: www.bedewell.com Download Document from Source Website File Size: 317,48 KB Share Document on Facebook