1979) годная сейчас, или в наше время лучше что-то другое почитать на эту тему (в т ч на английском)?
Мне кажется, это не теория доказательств у него, хотя не читал
Логика, языки, неполнота, форсинг...
Обсуждают сегодня