Доказуемое и недоказуемое

Доказуемое и недоказуемое

Detalhes bibliográficos
Autor principal:	Манин Ю. И. Юрий Иванович
Idioma:	russo
Publicado em:	Москва, Советское радио, 1979
Colecção:	Кибернетика
Assuntos:	математическая логика формальные языки истинность выводимость континуум форсинг аксиомы гипотезы
Formato:	Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=155610

Registos relacionados

Euclidian axiom 8 and the continuum-hypothesis; Перспективы развития фундаментальных наук
Por: Sukhotin A. M. Aleksandr Mikhailovich
Publicado em: (2013)

Теория формальных языков: Вводный курс; пер. с англ.
Por: Рейуорд-Смит В. Дж
Publicado em: (Москва, Радио и связь, 1988)

Дискретная математика: учебное пособие
Por: Корниенко А. В. Анатолий Васильевич
Publicado em: (Томск, Изд-во ТПУ, 2000)

Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.01
Por: Ларионов Д. С. Дмитрий Сергеевич
Publicado em: (Томск, [Б. и.], 2005)

Основания теории множеств: пер. с англ.
Por: Френкель А. А. Абрахам А.
Publicado em: (Москва, Мир, 1966)

Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.13.01
Por: Ларионов Д. С. Дмитрий Сергеевич
Publicado em: (Томск, [Б. и.], 2005)

Симметрическая конструктивная логика
Por: Заславский И. Д. Игорь Дмитриевич
Publicado em: (Ереван, Изд-во АН Армянской ССР, 1978)

Логический вывод
Publicado em: (Москва, Наука, 1979)

Вертексные алгебры для начинающих: пер. с англ.
Por: Кац В. Г. Виктор Григорьевич
Publicado em: (Москва, МЦНМО, 2005)

Математическая логика: учебное пособие для вузов
Por: Ершов Ю. Л. Юрий Леонидович
Publicado em: (СПб., Лань, 2005)

Математическая логика: учебное пособие
Por: Ершов Ю. Л. Юрий Леонидович
Publicado em: (СПб., Лань, 2004)

Курс лекций по логике: учебное пособие
Por: Гусев Д. А. Дмитрий Алексеевич
Publicado em: (Москва, Директ-Медиа, 2014)

Дискретная математика для инженера
Por: Кузнецов О. П. Олег Петрович
Publicado em: (Москва, Энергоатомиздат, 1988)

Т. 5: [обзоры]; Современные проблемы математики
Publicado em: (1975)

Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук
Por: Ларионов Д. С. Дмитрий Сергеевич
Publicado em: (Томск, [Б. и.], 2005)

Математическая логика: учебное пособие
Por: Ершов Ю. Л. Юрий Леонидович
Publicado em: (СПб., Лань, 2005)

Элементы математической лингвистики
Por: Гладкий А. В. Алексей Всеволодович
Publicado em: (Москва, Наука, 1969)

Дискретная математика: учебное пособие
Por: Корниенко А. В. Анатолий Васильевич
Publicado em: (Томск, Изд-во ТПУ, 1996)

Дискретная математика: учебник
Por: Спирина М. С. Марина Савельевна
Publicado em: (Москва, Академия, 2006)

Дискретная математика: учебник
Por: Спирина М. С. Марина Савельевна
Publicado em: (Москва, Академия, 2007)

Автоматы, алгорифмы, языки: межвузовский тематический сборник
Publicado em: (Калинин, Изд-во Калининского гос. ун-та, 1982)

Лекции по дискретной математике
Publicado em: (СПб., БХВ-Петербург, 2004)

Вычислимое и невычислимое
Por: Манин Ю. И. Юрий Иванович
Publicado em: (Москва, Сов. радио, 1980)

Математическая логика как метод теоретического исследования формальных моментов мышления; Ученые записки; № 41 : Проблемы методологии и логики наук
Por: Книгин А. Н.
Publicado em: (1962)

Теория моделей и ее применения: сборник научных трудов
Publicado em: (Новосибирск, Наука, 1988)

Конструктивные множества и их приложения: пер. с англ.; [монография]
Por: Мостовский А. Анджей
Publicado em: (Москва, Мир, 1973)

Основы дискретной математики: учебное пособие
Por: Горбатов В. А. Вячеслав Афанасьевич
Publicado em: (Москва, Высшая школа, 1986)

Дискретная математика для инженера
Por: Кузнецов О. П. Олег Петрович
Publicado em: (СПб., Лань, 2009)

Математическая логика: учебное пособие для вузов
Por: Ершов Ю. Л. Юрий Леонидович
Publicado em: (Москва, Физматлит, 2011)

Логическая семантика и философские основания логики
Por: Смирнова Е. Д. Елена Дмитриевна
Publicado em: (Москва, Изд-во МГУ, 1986)

Вып. 1; Логические исследования
Publicado em: (1993)

Теория множеств и континуум-гипотеза
Por: Коэн П. Д. Пол Дж.
Publicado em: (Москва, Мир, 1969)

Исследования по неклассическим логикам и формальным системам: сборник статей
Publicado em: (Москва, Наука, 1983)

Структура, истинность и правильность мышления
Por: Ведин Ю. П. Юрий Петрович
Publicado em: (Рига, Лиесма, 1979)

Теорема Гёделя о неполноте
Por: Успенский В. А. Владимир Андреевич
Publicado em: (Москва, Наука, 1982)

Метаматематика элементарной математики: пер. с нем.
Por: Энгелер Э. Эрвин
Publicado em: (Москва, Мир, 1987)

Дискретная математика для инженера
Por: Кузнецов О. П. Олег Петрович
Publicado em: (СПб., Лань, 2004)

Дискретная математика для инженера
Por: Кузнецов О. П. Олег Петрович
Publicado em: (СПб., Лань, 2007)

Дискретная математика для инженера
Por: Кузнецов О. П. Олег Петрович
Publicado em: (СПб., Лань, 2005)

Исследования по теории алгорифмов и математической логике: сборник
Publicado em: (Москва, Наука, 1979)