Натуральный вывод теоретико-доказательственное исследование

Натуральный вывод теоретико-доказательственное исследование

Bibliographic Details
Main Author:	Правиц, Даг
Format:	Book
Language:	Russian
Published:	[Б. м.] Лори 2020
Series:	Математика
Subjects:	математическая теория логических доказательств математическая логика нормальная форма натуральных выводов, доказательство теоремы математическая логика классическая математическая логика интуиционистская математическая логика минимальная принцип инверсии (мат. логика) натуральные выводы (мат. логика), анализ структуры Генцена системы натурального вывода Генцена основная теорема математическая логика второго порядка импликация релевантная (мат. логика) импликация строгая (мат. логика) импликация релевантная (мат. логика), расширенная минимальной и классической логикой исчисление секвенций исчисление секвенций и системы натурального вывода, связи Фитча теория множеств натуральный вывод (мат. логика), варианты
Online Access:	Перейти в каталог НБ ТГУ

Internet

Перейти в каталог НБ ТГУ

Научная библиотека ТГУ: Читальный зал 5

Holdings details from Научная библиотека ТГУ: Читальный зал 5
Call Number:	510 П684
	Available Place a Hold