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