Sciweavers

Upper bounds on complexity of Frege proofs with limited use of certain schemata
Recent Google, Yahoo, MSN search queries leading to this post
Upper bounds on complexity of Frege proofs with limited use of certain schemata
Data is not available yet.