Revision history for entry Friedman, Harvey (1973). "The consistency of classical set theory relative to a set theory with intuitionistic logic" [FRITCO] |
| Time | Type | Notes |
Revision history for entry Friedman, Harvey (1973). "The consistency of classical set theory relative to a set theory with intuitionistic logic" [FRITCO] |
| Time | Type | Notes |