Constructible falsity (1949)

by D Nelson
Venue:Journal of Symbolic Logic