Are there Hard Examples for Frege Systems?

Cached

Download Links

by Maria Luisa Bonet , Samuel R. Buss , Toniann Pitassi
Citations:26 - 2 self