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

Feferman on Foundations, Gerhard J?ger; Wilfried Sieg


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

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

Автор: Gerhard J?ger; Wilfried Sieg
Название:  Feferman on Foundations
ISBN: 9783319633329
Издательство: Springer
Классификация:



ISBN-10: 3319633325
Обложка/Формат: Hardcover
Страницы: 577
Вес: 1.05 кг.
Дата издания: 16.04.2018
Серия: Outstanding Contributions to Logic
Язык: English
Издание: 1st ed. 2017
Иллюстрации: 4 illustrations, black and white; lxxx, 551 p. 4 illus.
Размер: 234 x 156 x 35
Читательская аудитория: Undergraduate
Основная тема: Mathematics
Подзаголовок: Logic, Mathematics, Philosophy
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Tentative TOC Table of contents Introduction: Perspective Feferman: Autobiography I. Mathematical Logic.- Model Theory .- Set Theory .- Proof Theory. - Computability Theory II. Conceptual Expansions . Predicativity .- Unfolding 2 .- Semi-constructive systems III. Axiomatic Foundations .- Explicit Mathematics and Operational Set Theory .- Theories of Truth .- Foundations of Category Theory IV. From Logic to Philosophy .- What is Logic? .- Foundational Ways .- Gцdel, Minds and Machines .- New Axioms and the Continuum Problem .- Conceptual Structuralism V. Responses Feferman: Bibliography Contributors: Short biographies.- Index.


Alfred Tarski

Автор: Anita Burdman Feferman
Название: Alfred Tarski
ISBN: 0521802407 ISBN-13(EAN): 9780521802406
Издательство: Cambridge Academ
Рейтинг:
Цена: 19008.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Alfred Tarski, one of the greatest logicians of all time, is widely thought of as `the man who defined truth`. From the cafes of Warsaw and Vienna to the mountains and deserts of California, this first full length biography places Tarski in the social, intellectual and historical context of his times and presents a frank, vivid picture of a personally and professionally passionate man.

Kurt G?del

Автор: Feferman
Название: Kurt G?del
ISBN: 1107683467 ISBN-13(EAN): 9781107683464
Издательство: Cambridge Academ
Рейтинг:
Цена: 6970.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Papers examining aspects of Godel`s work gathered from a symposium celebrating Goedel`s centennial and papers from a 2004 ASL symposium.

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Автор: W. Buchholz; S. Feferman; W. Pohlers; W. Sieg
Название: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
ISBN: 3540111700 ISBN-13(EAN): 9783540111702
Издательство: Springer
Рейтинг:
Цена: 4884.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


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