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