1974
Strong-normalization for arithmetic : (variations on a theme of prawitz)
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
Stichting Mathematisch Centrum. Zuivere Wiskunde | |
Leivant, D. (1974). Strong-normalization for arithmetic : (variations on a theme of prawitz). Stichting Mathematisch Centrum. Zuivere Wiskunde. Stichting Mathematisch Centrum. |