On Frege and Extended Frege Proof Systems (1993)

Cached

Download Links

by Jan Krajicek
Citations:21 - 2 self