On constructive interpretation of predicative mathematics
On constructive interpretation of predicative mathematics
1990
Parsons, Charles
Details
First published
1990
OL Work ID
OL4805755W
Subjects
Mathematics
Number theory
Philosophy
Proof theory
Mathematics, philosophy
Find this book
Open Library