Translating I∆0+(exp) proofs into weaker systems (1999)

by Chris Pollett
Citations:1 - 1 self