Здравствуйте, gh2, Вы писали:

gh2>Новое? Ну например, если уж о том же Ершове: сигма-определимость и доказательства классических теорем полноты через нее — это более-менее современная логика (хотя Ю.Л. над ней, если не изменяет память в начале 80х начал работать).
Подскажи ссылку.. Интересно. Сейчас не до этого, но хочу позже посмотреть..