๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Upper bounds on complexity of Frege proofs with limited use of certain schemata

โœ Scribed by Pavel Naumov


Publisher
Springer
Year
2005
Tongue
English
Weight
197 KB
Volume
45
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES