Интернет-магазин My-shop.ru
Акции   
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
СКИДКИ ДО 25%Спецпредложение на детские игрушки и товары для сада и огородаДО 4 ИЮНЯ
• 
Книги (690251)
• 
Иностранная литература (68208)
• 
Издательства на 'C' (7265)
• 
California UP (1)



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

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 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 руб.
в наличии*
ориентировочная дата отгрузки: 29.05.2017 (Пн.)
шт.
отложить



Бестселлеры раздела...