0 €

Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

(0) | Вопросы и ответы (0)

Спецификации:

Автор:	Paolo Mancosu, Sergio Galvan, Richard Zach
Количество страниц:	432
Год публикации:	2021
ID товара:	12389541

Больше информации

БЕСПЛАТНАЯ ДОСТАВКА от 20€

43⁴⁶ €

Продавец: Bookstore Krisostomos 4.9

Предложения других продавцов (2):

67⁷⁴ €

67⁹⁹ €

В корзину

Ваш город

Заберите в Omniva посылочном автомате

12 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Заберите в Smartpost посылочном автомате

12 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Заберите в DPD Pickup посылочном автомате

12 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Заберите в почтовом отделении Эстонии

12 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Доставим на дом

12 ноября

3⁹⁹ €

Внимание! Сроки доставки являются предварительными, так как cроки обновляются в зависимости от фактического времени размещения заказа и оплаты. Окончательный срок доставки указывается продавцом после подтверждения заказа.

Все способы доставки

Заберите в Omniva посылочном автомате

12 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Заберите в Smartpost посылочном автомате

12 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Заберите в DPD Pickup посылочном автомате

12 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Заберите в почтовом отделении Эстонии

12 ноября

БЕСПЛАТНАЯ ДОСТАВКА от 20 €

0⁰⁰ €

Доставим на дом

12 ноября

3⁹⁹ €

Все способы доставки

Предложения других продавцов

EasyShop

67⁷⁴ €

KATARATA

67⁹⁹ €

Информация о продавце (2)

14-дневная гарантия возврата

Продавец: Bookstore Krisostomos 4.9

94% покупателей рекомендовали бы этого продавца.

Другие также интересовались

Описание товара: Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The firsthalf covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and variousapplications of these results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. Theproof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophyof mathematics.

Общая информация o: Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

ID товара:	12389541
Категория:	Исторические книги
Количество упаковок товара:	1 шт.
Размеры и вес упаковки (1):	0,24 x 0,16 x 0,02 м, 0,65 кг
Издательство:	Oxford University Press
Язык публикации:	Aнглийский
Тип обложки:	Не указано
Формат:	Традиционная книга
Тип:	Не указано
Raamat väljavõttega:	Нет
Автор:	Paolo Mancosu, Sergio Galvan, Richard Zach
Количество страниц:	432
Год публикации:	2021

Больше информации

Изображения продуктов приведены исключительно в иллюстративных целях и являются примерными. Ссылки на видео в описании товара предназначены только для информационных целей, поэтому информация, которую они содержат, может отличаться от самого товара. Цвета, надписи, параметры, размеры, функции и/или любые другие характеристики оригинальных продуктов из-за их визуальных характеристик могут отличаться от реальных, поэтому, пожалуйста, ознакомьтесь со спецификациями продукта, приведенными в описании продукта.

Сообщить об ошибке в описании товара

Партнерские предложения

Рейтинги и отзывы (0)

Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Будьте первым, кто оставит отзыв!

Информация и правила

Этот товар могут оценить только его покупатели, зарегистрированные на Kaup24.ee.

Оценить товар

Вопросы и ответы (0)

Спросите об этом товаре у других покупателей!

Информация и правила

Задать вопрос

Ваш вопрос успешно отправлен. На этот вопрос будет дан ответ в течение 3 рабочих дней

Задайте вопрос о данном товаре

Вопрос должен состоять не менее чем из 10 символов

Я хочу участвовать в обсуждениях о товарах, которые я приобрел(-а)

Подать вопрос Отменить

Рекомендуем вместе с: Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Предложения других продавцов (2)

*Для предложений конкретного продавца действуют только те условия, которые указаны возле продаваемого им товара, и за всю информацию в них (включая цены) ответственен конкретный продавец.

Продавец: EasyShop 4.5

(436 oценок покупателей)

БЕСПЛАТНАЯ ДОСТАВКА от 20€

0 €

Заберите в Omniva посылочном автомате

31 октября

0⁰⁰ €

Возможные способы доставки

67⁷⁴ €

В корзину

Продавец: KATARATA 4.6

(1688 oценок покупателей)

БЕСПЛАТНАЯ ДОСТАВКА от 20€

0 €

Заберите в Omniva посылочном автомате

8 ноября

0⁰⁰ €

Возможные способы доставки

67⁹⁹ €

В корзину

Лучшие товары от Bookstore Krisostomos

Продолжить покупки

Исторические книги

: Modern Body Armour, Maailma ajalugu, German Tanks in Normandy 1944: The Panzer, Sturmgeschutz and Panzerjager forces that faced the D-Day invasion, ÕPETATUD EESTI SELTSI AJALUGU, KERSTI TAAL, To Hell and Back: The Last Train from Hiroshima, Song of Simon de Montfort: England's First Revolutionary, Tuesdays With Morrie: An old man, a young man, and life's greatest lesson, Belgian Waffen-SS Legions & Brigades, 1941-1944: Wallonie, Wallonien, Flandern & Langemarck, Winter Uniforms of the German Army: Heer, Luftwaffe, Waffen-SS New edition, Aircraft of Red Flag: The Ultimate Air-to-Air Combat Exercise, Robin Hood: Legend and Reality, Violence in Defeat: The Wehrmacht on German Soil, 1944-1945, Penguin Classics Book: In Search of the Best Books Ever Written, Vene Riigi saamine: Novgorodi Föderatiivne Feodaalvabariik, Camouflage: Modern International Military Patterns

River Ribble: A Local and Natural History, Meie Tartu: Mitu linna mahub ühte linna?, Sõja seadused, Paul Maitla surm, Ajalugu ei ole kunagi liiga palju, Kahepaikne, Polish Air Force Fighter Aircraft, 1943-1945: On the Offensive, D-Day and Victory in Europe, Breaking the Mold: Indias Untraveled Path to Prosperity, Harlem Ghetto: Essays, Awkwardness: A Theory, Ethnicity in Medieval Europe, 950-1250: Medicine, Power and Religion, Medieval Saints and their Sins: A New History of the Middle Ages through Saints and their Stories, Horizontal Vertigo: A City Called Mexico, Beyond the Binary: Gender and Legal Personhood in Islamic Law, Who Killed Jules Crevaux?: Murder in the Bolivian Chaco