Revision history for entry Damnjanovic, Zlatan (1995). "Minimal realizability of intuitionistic arithmetic and elementary analysis" [DAMMRO] |
| Time | Type | Notes |
Revision history for entry Damnjanovic, Zlatan (1995). "Minimal realizability of intuitionistic arithmetic and elementary analysis" [DAMMRO] |
| Time | Type | Notes |