Интернет-магазин My-shop.ru
Акции   
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
TOTAL SALEБольшая зимняя распродажа: тысячи товаров со скидкой до 40%! (как найти товары из распродажи)РАСПРОДАЖА
• 
Книги (696079)
• 
Иностранная литература (65586)
• 
Издательства на 'C' (7049)
• 
California UP (1)



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

Metalogic: An Introduction to the Metatheory of Standard First Order LogicThis 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.

Издательство: California UP

Рейтинг: - (голосов: 0)
Ваша оценка: 1 2 3 4 5  

дата выпуска: 5 апреля 2012 г. 
язык: английский
количество томов: 1
количество страниц: 302 стр.
переплет: мягкий
размеры: 207x138x22 мм
возрастная категория: 18+ (нет данных)
код системы скидок: 25
код в My-shop.ru: 1322146

ISBN: 978-0-520-02356-7


Hunter Geoffreyавтор/составительHunter Geoffrey, найти все товары

1 573 руб.
в наличии*
ориентировочная дата отгрузки: 24.01.2017 (Вт.)
шт.
отложить

|