Меню
0
+375(29)550 00 15
+375(44)550 00 15
+375 (29) 550 00 15
+375 (44) 550 00 15
Главная Каталог California UP
Metalogic: An Introduction to the Metatheory of Standard First Order Logic фото книги маленькое 2
Metalogic: An Introduction to the Metatheory of Standard First Order Logic фото книги

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

(0 отзывов)
недоступно к заказу
This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.
Артикул
1322146
Издательство
California UP
Тип обложки
мягкая обложка
Автор
Штрих код
9780520023567
Год
Страниц
302
Томов
1
Язык
английский
Размеры
207x138x22 мм
Вес
322 гр.
Импортер
ООО «Абрис-Бел». 220112, РБ, г. Минск, ул. Cырокомли 7-167
Отзыв к товару «Metalogic: An Introduction to the Metatheory of Standard First Order Logic»
Отзывы
Меню
Каталог товаров
Навигация