Sciweavers

Upper bounds on complexity of Frege proofs with limited use of certain schemata
Recent countries visiting this post
Upper bounds on complexity of Frege proofs with limited use of certain schemata
us6United States
ru3Russian Federation