Successor-invariant first-order logic on finite structures - Sciweavers

39

click to vote

more JSYML 2007 ...

www.mit.edu

Tweet