Annals of pure and applied logic (North-Holland, 1983)
Title from cover.