Predicative arithmetic /

• Main Author: Nelson, Edward, 1932- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Princeton, N.J. : Princeton University Press, 1986.
• Series: Mathematical notes (Princeton University Press)
• Subjects: Constructive mathematics.; Αριθμητική