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