Archive for mathematical logic (Springer International, 1988)