Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Metamaths, Machines & Godel`s Proof, Shankar


Варианты приобретения
Цена: 7128.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-08-04
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Shankar
Название:  Metamaths, Machines & Godel`s Proof
Перевод названия: Метаматематика, машины и доказательство Годеля
ISBN: 9780521585330
Издательство: Cambridge Academ
Классификация:

ISBN-10: 0521585333
Обложка/Формат: Paperback
Страницы: 220
Вес: 0.39 кг.
Дата издания: 30.01.1997
Серия: Cambridge tracts in theoretical computer science
Язык: English
Издание: New ed
Иллюстрации: 4 line figures
Размер: 192 x 234 x 14
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: Describes the use of computer programs to check several proofs in the foundations of mathematics.


Godels proof

Автор: Nagel, Ernest Newman, James R.
Название: Godels proof
ISBN: 0415355281 ISBN-13(EAN): 9780415355285
Издательство: Taylor&Francis
Рейтинг:
Цена: 2142.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A combination of science and accessibility, this book is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity. It presents a readable explanation to both scholars and non-specialists alike.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия