Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Metamaths, Machines & Godel`s Proof, Shankar


Варианты приобретения
Цена: 47520.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 231 шт.  
При оформлении заказа до: 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
Рейтинг:
Цена: 14280.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия