Constructive logic and computer programming (1982)

by P Martin-L��f
Venue:In Logic, Methodology and Philosophy of Science