Введение в логику и методологию дедуктивных наук

Введение в логику и методологию дедуктивных наук

Библиографическая информация
Главный автор:	Тарский, Альфред 1901-1983
Другие авторы:	Яновская, Софья Александровна 1896-1966 (Редактор)
Формат:	Книга
Язык:	Russian
Публикация:	Москва Издательство иностранной литературы 1948
Предметы:	Логика, математическая Математика - Методология Математическая логика Дедуктивный метод в науке переменные (мат.) исчисление высказываний тождество, теория классы предметов (мат.), теория отношения (мат.), виды дедуктивный метод математические теории, применение логики математические теории, применение методологии математическая теория, построение числа, порядковые законы законы сложения и вычитания (мат.) арифметика действительных чисел, построение теории аксиомы математики
Online-ссылка:	Перейти в каталог НБ ТГУ

Похожие документы

Einführung in die mathematische Logik
по: Tarski, Alfred
Публикация: (1977)

Основания математической логики
по: Карри, Хаскелл Брокс
Публикация: (1969)

Теория дедуктивных систем и ее применения
по: Маслов, Сергей Юрьевич
Публикация: (1986)

Лекции по математической логике Учебное пособие для студентов математических специальностей вузов
по: Мощенский, Владимир Андреевич
Публикация: (1973)

Натуральный вывод теоретико-доказательственное исследование
по: Правиц, Даг
Публикация: (2020)

Элементы теории множеств и математической логики: учебное пособие/
по: Дурнев, В. Г. Валерий Георгиевич
Публикация: (1978)

Теорема Геделя о неполноте
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (1982)

Введение в математическую логику
по: Мендельсон, Эллиот
Публикация: (1971)

Избранные труды Теория множеств и функций. Математическая логика и алгебра
по: Новиков, Петр Сергеевич
Публикация: (1979)

Теория доказательств
по: Такеути, Г.
Публикация: (1978)

Справочная книга по математической логике В 4-х ч. Пер. с англ.
Публикация: (1983)

Введение в математическую логику
по: Мендельсон, Эллиот
Публикация: (1976)

Математическая логика учебное пособие
по: Ершов, Юрий Леонидович 1940-
Публикация: (2004)

Коуровская тетрадь нерешенные вопросы теории групп (оперативно-информационный материал)
Публикация: (1990)

Новое изложение логики, основанное на элементарных курсах математики и физики
по: Герн, Богдан Адольфович 1962-1939
Публикация: (1903)

Черная кожа, белые маски [18+]
по: Фанон, Франц 1925-1961
Публикация: (2022)

Вводный курс математической логики [учебное пособие]
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (2007)

Ламбда-исчисление Его синтаксис и семантика
по: Барендрегт, Хендрик Питер
Публикация: (1985)

Элементы математической логики
по: Марков, Андрей Андреевич младший 1903-1979
Публикация: (1984)

Элементы математической логики
по: Новиков, Петр Сергеевич
Публикация: (1959)

Абелевы группы с чистыми кольцами эндоморфизмов диссертация на соискание ученой степени кандидата физико-математических наук : 01.01.06
по: Сорокин, Константин Сергеевич
Публикация: (2014)

Основания теории множеств
по: Френкель, Абрахам Адольф
Публикация: (2010)

Метод математики логика и гносеология математических знаний
по: Менделеев, Иван Дмитриевич 1883-1936
Публикация: (1913)

О сущности математики
по: Фосс, Аурель Эдмунд 1845-1931
Публикация: (1911)

Хорошие кольца формальных матриц, автоморфизмы алгебр формальных матриц и системы формальных уравнений диссертация на соискание ученой степени кандидата физико-математических наук : 01.01.06
по: Норбосамбуев, Цырендоржи Дашацыренович
Публикация: (2018)

Множества. Логика. Аксиоматические теории
по: Столл, Роберт Р.
Публикация: (1968)

Введение в логику и методологию науки
по: Гончаров, Сергей Севостьянович
Публикация: (1994)

Задачи по теоретической статистике с решениями
по: Кокс, Дж. Р.
Публикация: (1981)

Вычислительные машины и труднорешаемые задачи
по: Гэри, Майкл
Публикация: (1982)

Введение в современную логику
по: Гладкий, Алексей Всеволодович
Публикация: (2001)

Конечно аксиоматизируемые теории
по: Перетятькин, Михаил Георгиевич
Публикация: (1997)

Элементы математической логики и теории множеств
по: Пензов, Юрий Ефимович
Публикация: (1968)

Избранные работы [пер. с нем.]
по: Фреге, Готтлоб 1848-1925
Публикация: (1997)

Вводный курс математической логики [учебное пособие]
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (2004)

Введение в оптимизацию
по: Поляк, Борис Теодорович
Публикация: (1983)

Математическая логика [учебник для техникумов по специальности "Прикладная математика"]
по: Никольская, Инна Львовна
Публикация: (1981)

О сложности относительных вычислений автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
по: Дехтярь, Михаил Иосифович
Публикация: (1976)

Сравнение различных схем аксиом в классическом анализе автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
по: Левин, Александр Моисеевич
Публикация: (1976)

Некоторые свойства свободных периодических групп нечетного показателя автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
по: Ширванян, Валерий Левонович
Публикация: (1976)

Простейшие примеры математических доказательств [брошюра]
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (2019)