Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана...