Интернет-магазин My-shop.ru
Акции   
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
Красиво и практично!Новогодние наборы My-shop.ru — лучшее решение вопроса с подарками под ёлку!Удобно и выгодно!
• 
Книги (688840)
• 
Иностранная литература (65320)
• 
Издательства на 'C' (6947)
• 
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 руб.
в наличии*
ориентировочная дата отгрузки: 13.12.2016 (Вт.)
шт.
отложить

|