Predicative Arithmetic. (MN-32)
Publisher: Princeton University Press
Published: 2014
Language: eng
Number of pages: 199
ISBN-13: 9781306987165
Subjects: Arithmetic; Constructive mathematics