Constructive truth in practice (1998)

by D S Bridges
Venue:Truth in Mathematics, Clarendon