Author: Nelson, Edward
Title: Predicative Arithmetic
Description: Princeton, Princeton University Press, 1986. orig.wrappers. 24x15cm, viii,189 pp. Series: Mathematical Notes, 32.. Minor rubbing. VG.

Keywords: Constructive Mathematics, Arithmetic, , , , , , ,