Математический интуиционизм. Введение в теорию доказательств » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Applied Data Science Using Pyspark: Learn the End-to-end Predictive Model-building Cycle, 2nd Edition Applied Data Science Using Pyspark: Learn the End-to-end Predictive Model-building Cycle, 2nd Edition Изучаем Python: программирование игр, визуализация данных, веб-приложения. 3-е изд. дополненное и переработанное Изучаем Python: программирование игр, визуализация данных, веб-приложения. 3-е изд. дополненное и переработанное АВС руководство АВС руководство Мифы народов мира: энциклопедия (2008) Мифы народов мира: энциклопедия (2008) Энциклопедия травяных чаев Энциклопедия травяных чаев Декоративная роспись по дереву. Золотая хохлома Декоративная роспись по дереву. Золотая хохлома Методы обработки многомерных данных и временных рядов Методы обработки многомерных данных и временных рядов Killing Fields of World War I Killing Fields of World War I The Invasion Before Normandy: The Secret Battle of Slapton Sands The Invasion Before Normandy: The Secret Battle of Slapton Sands Hungarian army at the Barbarossa campaign in 1941 Hungarian army at the Barbarossa campaign in 1941 USS Princeton: The Life and Loss of "Sweet P" USS Princeton: The Life and Loss of "Sweet P" Великие сожженные. Средневековое правосудие, святая инкви­зиция и публичные казни Великие сожженные. Средневековое правосудие, святая инкви­зиция и публичные казни Powerful Python: Patterns and Strategies with Modern Python (Final) Powerful Python: Patterns and Strategies with Modern Python (Final) Рак глазами физика: механизм возникновения, профилактика, лечение, защита Рак глазами физика: механизм возникновения, профилактика, лечение, защита Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Breathing the Fire Fighting to Survive, and Get Back to the Fight Breathing the Fire Fighting to Survive, and Get Back to the Fight
Applied Data Science Using Pyspark: Learn the End-to-end Predictive Model-building Cycle, 2nd Edition Applied Data Science Using Pyspark: Learn the End-to-end Predictive Model-building Cycle, 2nd Edition Изучаем Python: программирование игр, визуализация данных, веб-приложения. 3-е изд. дополненное и переработанное Изучаем Python: программирование игр, визуализация данных, веб-приложения. 3-е изд. дополненное и переработанное АВС руководство АВС руководство Мифы народов мира: энциклопедия (2008) Мифы народов мира: энциклопедия (2008) Энциклопедия травяных чаев Энциклопедия травяных чаев Декоративная роспись по дереву. Золотая хохлома Декоративная роспись по дереву. Золотая хохлома Методы обработки многомерных данных и временных рядов Методы обработки многомерных данных и временных рядов Killing Fields of World War I Killing Fields of World War I The Invasion Before Normandy: The Secret Battle of Slapton Sands The Invasion Before Normandy: The Secret Battle of Slapton Sands Hungarian army at the Barbarossa campaign in 1941 Hungarian army at the Barbarossa campaign in 1941 USS Princeton: The Life and Loss of "Sweet P" USS Princeton: The Life and Loss of "Sweet P" Великие сожженные. Средневековое правосудие, святая инкви­зиция и публичные казни Великие сожженные. Средневековое правосудие, святая инкви­зиция и публичные казни Powerful Python: Patterns and Strategies with Modern Python (Final) Powerful Python: Patterns and Strategies with Modern Python (Final) Рак глазами физика: механизм возникновения, профилактика, лечение, защита Рак глазами физика: механизм возникновения, профилактика, лечение, защита Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Breathing the Fire Fighting to Survive, and Get Back to the Fight Breathing the Fire Fighting to Survive, and Get Back to the Fight
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Математический интуиционизм. Введение в теорию доказательств
Добавил: Natali26 / 21-11-2021, 23:56 /
Название: Математический интуиционизм. Введение в теорию доказательств
Автор: Драгалин А.Г.
Издательство: Наука
Год: 1979
Формат: PDF
Страниц: 256
Размер: 13,41 Мб
Язык: русский

Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиоматическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специалиста-логика, но привыкшего иметь дело с классической логикой.


ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!





[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!