Чёрч (Черч) Алонзо

Математик и логик, внесший значительный вклад в основы информатики, разработал лямбда-исчисление и доказательство существования алгоритмически неразрешимых задач

Произведения автора

№	Название	Год	Текст	Тип	Действия
1.	Введение в математическую логику, том 1 Чёрч (Черч) А.	1956		Научная монография, Учебное пособие
	Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями... Категория знаний: Математическая логика