Математическая логика : Мат. логика, основания математики, теория ...