Хинтикка Я., Санду Г. Принципы математики: Новый взгляд. Революция в логике
В этой книге Яакко Хинтикка предлагает новую базовую логику первого порядка и использует ее для изучения оснований математики. Эта новая логика позволяет логикам выражать на уровне первого порядка та…
ВОЙТИ