Proof theory of reflection (1994)

by Michael Rathjen
Venue:Annals of Pure and Applied Logic
Citations:9 - 1 self