Meaning and information in constructive mathematics (1982)

by FRED RICHMAN
Venue:Amer. Math. Monthly