Revision history for entry Stahl, Stanley H. (1977). "Primitive recursive ordinal functions with added constants" [STAPRO] |
| Time | Type | Notes |
Revision history for entry Stahl, Stanley H. (1977). "Primitive recursive ordinal functions with added constants" [STAPRO] |
| Time | Type | Notes |