The Complexity Of Propositional Proofs (1995)

Cached

Download Links

by Alasdair Urquhart
Venue:Bulletin of Symbolic Logic
Citations:104 - 2 self