Constructive Reasoning (1968)

by William Tait
Venue:Logic, Methodology and Philosophy of Science III