Are there Hard Examples for Frege Systems?

Cached

Download Links

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