Картотека книг » Поиск по коду » Книги с ISBN13 9783659425226
На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Книга ISBN13 9783659425226 - About Cut-Elimination in Schematic Proofs (Mikheil Rukhaia) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением
Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Где купить эту книгу?
Интернет-магазиныНазвание: About Cut-Elimination in Schematic Proofs
Gentzen's Hauptsatz (cut-elimination theorem) is the cornerstone in proof theory. It leads to analytic proofs. But in the systems, having induction as a rule, cut-elimination is not possible in general. One way to overcome this problem is to define an infinite sequence of proofs in a uniform way and a method, which will obtain a uniform description of corresponding analytic proofs. This book presents such a formalism, alternative to the inductive systems and defines a cut-elimination method for it. First, the basic concepts of proof theory, such as sequent and resolution calculi are defined. Later they are enriched with inductive definitions and schemata of terms, formulas, proofs, etc., are obtained. The cut-elimination method for such proof schemata is illustrated on several examples. The text is self-contained, thus can be read by not only experts, but anyone else interested in mathematical logic and proof theory.
Авторы: Mikheil Rukhaia
Издательство: LAP Lambert Academic Publishing
Год: 2013
Местонахождение: OZON.ru
ISBN: 9783659425226
Поиск по сайту
Новости
10 января 2015 года: Запуск базы ISBN10 и ISBN13Запущена база данных ISBN и технический каталог кодов.
2015 - books.kartoteka.net
e-mail: books@kartoteka.net
e-mail: books@kartoteka.net