SMS dit: Математическая логика: пер. с англ.