Six papers in logic - Artemov S N (Providence A M S, 1987)
Keywords: Mathematical logic