Problematic principles in constructive mathematics (1982)

by M J Beeson
Venue:Logic Colloquium '80 (North-Holland