Polynomial Time Computable Arithmetic and Conservative Extensions (1988)

by Fernando Ferreira