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

California UP

Всего 1 товар
Сортировка:  по дате выхода↓   по рейтингу   по названию(A-я)   по автору(A-я)   по цене↑   по скидке

Metalogic: An Introduction to the Metatheory of Standard First Order Logic 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... дальше
1 573 руб.
в наличии*; ориентировочная дата отгрузки: 28.03.2017 (Вт.)
шт.           отложить