Studies in Logic and the Foundations of Mathematics
A Heyting & A. Mostowski & A. Robinson & P. Suppes