Интернет-магазин My-shop.ru
Акции   
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
Metalogic: An Introduction to the Metatheory of Standard First Order Logic

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

Автор/составитель: Hunter Geoffrey
Издательство: California UP

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.

1 573 руб.
в наличии*
ориентировочная дата отгрузки: 29.06.2017 (Чт.)
шт.
отложить
дата выпуска5 апреля 2012 г. 
языканглийский
количество томов1
количество страниц302 стр.
переплетмягкий
размеры207x138x22 мм
ISBN978-0-520-02356-7
возрастная категория18+ (нет данных)
код системы скидок25
код в My-shop.ru1322146
Бестселлеры раздела...