Home > Dietrich College > Philosophy > 545
Sieg, Carnegie Mellon University
Toward finitist proof theory
1998
Technical Report
Follow