Sharply Bounded Arithmetic and the Function a ˙−1, Logic and computation (1987)

by G Takeuti