Logičeskije aspekty informatiki - Gjačas, Kastitis (Matematičeskaja logika i jeje primenenije : Materialy k seminaru, 1987)