Original language | English |
---|---|
Title of host publication | Logic and Intuition |
Editors | G Sher, R Tieszen |
Publisher | Cambridge University Press |
Pages | 317-338 |
State | Published - 2000 |
Challenges to Predicative Foundations of Arithmetic
Geoffrey Hellman, Solomon Feferman
Research output: Chapter in Book/Report/Conference proceeding › Chapter