A proof theoretic characterization of the Kalmar elementary functions

Holden, Marit

January 01, 1996

DART, SAMBA

• Published date: January 01, 1996
• Journal: Technical report, Dept. of Informatics, University of Oslo
• Title: A proof theoretic characterization of the Kalmar elementary functions
• Author(s): Holden, Marit
• Report number: 211, ISBN 82-7368-124-6