Stav dette: Введение в математическую логику: пер. с англ.