Подскажите, кто в курсе, плз, книга Доказуемое и недоказуемое (Манин, 1979) годная сейчас, или в наше время лучше что-то другое почитать на эту тему (в т ч на английском)?