Login / Signup

Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions.

Solomon Feferman
Published in: J. Symb. Log. (1988)
Keyphrases