Revision history for entry Feferman, Solomon (1988). "Hilbert's program relativized: Proof-theoretical and foundational reductions" [FEFHPR] |
| Time | Type | Notes |
Revision history for entry Feferman, Solomon (1988). "Hilbert's program relativized: Proof-theoretical and foundational reductions" [FEFHPR] |
| Time | Type | Notes |