A proof theoretic characterization of the Kalmar elementary functions

Holden, Marit

August 18, 1996

NR

• Conference: Scandinavian Logic Symposium, Uppsala
• Title: A proof theoretic characterization of the Kalmar elementary functions
• Author(s): Holden, Marit
• Published date: August 18, 1996