Автор: 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.
Автор: 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