Predicative arithmetic /

Bibliographic Details

Main Author:	Nelson, Edward, 1932-
Format:	Book
Language:	English
Published:	Princeton, N.J. : Princeton University Press, 1986.
Series:	Mathematical notes (Princeton University Press) ; 32.
Subjects:	Constructive mathematics. Arithmetic.