Constructive logic versus algebraization I (1982)

by G Kreisel, A Macintyre
Venue:Proc. L.E.J. Brouwer Centenary Symposium (Noordwijkerhout 1981), North-Holland (Amsterdam