Text this: Математическая логика в программировании: сборник статей; пер. с англ.