From Constructive to Predicative Mathematics

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationThe Cosmos of Science
EditorsJohn Earman, John Norton
PublisherUniversity of Pittsburg Press
Pages153-179
StatePublished - 1997

Cite this