Consistency of strictly impredicative NF and a little more .. - Sciweavers

31

click to vote

more JSYML 2010 ...

www.cs.ioc.ee

Tweet