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

Logic Colloquium `90, Oikkonen


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

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

Автор: Oikkonen
Название:  Logic Colloquium `90
ISBN: 9781107169029
Издательство: Cambridge Academ
Классификация:



ISBN-10: 110716902X
Обложка/Формат: Hardback
Страницы: 315
Вес: 0.64 кг.
Дата издания: 02.03.2017
Серия: Lecture notes in logic
Язык: English
Иллюстрации: 18 line drawings, black and white
Размер: 229 x 152 x 22
Читательская аудитория: Tertiary education (us: college)
Ключевые слова: Philosophy: metaphysics & ontology,Philosophy of mathematics,Mathematical logic,Set theory,Mathematical theory of computation, MATHEMATICS / Logic
Основная тема: Mathematics
Подзаголовок: Asl summer meeting in helsinki
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: The proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in July 1990, containing eighteen papers written by leading researchers in logic. Between them they cover all fields of mathematical logic, including model theory, proof theory, recursion theory, and set theory.


Logic Colloquium `96

Автор: Larrazabal
Название: Logic Colloquium `96
ISBN: 110716608X ISBN-13(EAN): 9781107166080
Издательство: Cambridge Academ
Рейтинг:
Цена: 17424.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents the proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic.

Logic Colloquium `95

Автор: Makowsky
Название: Logic Colloquium `95
ISBN: 1107167906 ISBN-13(EAN): 9781107167902
Издательство: Cambridge Academ
Рейтинг:
Цена: 20432.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents the conference proceedings of the 1995 Annual European Summer Meeting of the Association of Symbolic Logic. The papers here cover all topics of classical mathematical logic. There is also a tutorial on recent developments in theoretical computer science, and plenary lectures on the foundation and evolution of set theory.


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