Приведенные примеры показывают, что не существует единого полного интуиционистского исчисления предикатов, которое могло бы служить ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ


Приведенные примеры показывают, что не существует единого полного интуиционистского исчисления предикатов, которое могло бы служить логическим базисом всех прикладных интуиционистских теорий.

(cкачать страницу)

Смотреть книгу на libgen

Приведенные примеры показывают,  что не существует единого полного интуиционистского исчисления предикатов,  которое могло бы служить логическим базисом всех прикладных интуиционистских теорий.