Mathematical Logic 3rd 2021 ed.

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

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

Автор:	Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas
Количество страниц:	304
Год публикации:	2021
ID товара:	15612959

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

Полная цена
Оплатить частями 8⁶¹ € x 9 мес.

65⁰⁹ €

8⁶¹ € / мес.

Калькулятор лизинга

или

3 x 21⁷¹ €

Без подорожания

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

В корзину

Ваш город

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

14 февраля

0⁰⁰ €

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

14 февраля

0⁰⁰ €

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

14 февраля

0⁰⁰ €

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

14 февраля

3⁹⁹ €

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

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

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

14 февраля

0⁰⁰ €

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

14 февраля

0⁰⁰ €

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

14 февраля

0⁰⁰ €

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

14 февраля

3⁹⁹ €

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

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

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

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

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

Описание товара: Mathematical Logic 3rd 2021 ed.

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé"s characterization of elementary equivalence, Lindström"s theorem on the maximality of first-order logic, and the fundamentals of logic programming.A.- I Introduction.- II Syntax of First-Order Languages.- III Semantics of First-Order Languages.- IV A Sequent Calculus.- V The Completeness Theorem.- VI The Löwenheim-Skolem and the Compactness Theorem.- VII The Scope of First-Order Logic.- VIII Syntactic Interpretations and Normal Forms.- B.- IX Extensions of First-Order Logic.- X Computability and Its Limitations.- XI Free Models and Logic Programming.- XII An Algebraic Characterization of Elementary Equivalence.- XIII Lindström"s Theorems.- References.- List of Symbols.- Subject Index.Heinz-Dieter Ebbinghaus is Professor Emeritus at the Mathematical Institute of the University of Freiburg. His work spans fields in logic, such as model theory and set theory, and includes historical aspects. Jörg Flum is Professor Emeritus at the Mathematical Institute of the University of Freiburg. His research interests include mathematical logic, finite model theory, and parameterized complexity theory.Wolfgang Thomas is Professor Emeritus at the Computer Science Department of RWTH Aachen University. His research interests focus on logic in computer science, in particular logical aspects of automata theory.

Общая информация o: Mathematical Logic 3rd 2021 ed.

ID товара:	15612959
Категория:	Книги по экономике
Количество упаковок товара:	1 шт.
Размеры и вес упаковки (1):	0,02 x 0,2 x 0,24 м, 0,68 кг
Издательство:	Springer
Язык публикации:	Aнглийский
Тип обложки:	Не указано
Формат:	Традиционная книга
Тип:	Не указано
Raamat väljavõttega:	Нет
Автор:	Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas
Количество страниц:	304
Год публикации:	2021

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

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

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

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