Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983, M. M. Richter; E. B?rger; W. Oberschelp; B. Schinz

Автор: G. H. M?ller; M. M. Richter
Название: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
ISBN: 3540139001 ISBN-13(EAN): 9783540139003
Издательство: Springer
Рейтинг:
Цена: 6282.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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

Описание: 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.

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

Автор: Beth (E.W. ) Memorial Colloquim, Institut Henri Po
Название: Memorial Colloquium
ISBN: 9401757496 ISBN-13(EAN): 9789401757492
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Delon
Название: Logic Colloquium 2007
ISBN: 1107696771 ISBN-13(EAN): 9781107696778
Издательство: Cambridge Academ
Рейтинг:
Цена: 5859.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Annual European Meeting of the Association for Symbolic Logic is among the most prestigious annual meetings in the field. Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world.