Announcement

D. van Dalen
1986 Annals of Pure and Applied Logic  
doi:10.1016/0168-0072(86)90027-8 fatcat:r7qblmmvnzdvjfg534p2d7jfqi