Pages that link to "Item:Q2491079"
From MaRDI portal
The following pages link to Upper bounds on complexity of Frege proofs with limited use of certain schemata (Q2491079):
Displaying 3 items.
The following pages link to Upper bounds on complexity of Frege proofs with limited use of certain schemata (Q2491079):
Displaying 3 items.