Annals of mathematic logic (North-Holland, 1969)