Categorical Structure of Closure Operators, D. Dikranjan; Walter Tholen

Автор: B. Jacobs
Название: Categorical Logic and Type Theory,141
ISBN: 0444508538 ISBN-13(EAN): 9780444508539
Издательство: Elsevier Science
Рейтинг:
Цена: 16675.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

Автор: N.M. Martin; S. Pollard
Название: Closure Spaces and Logic
ISBN: 0792341104 ISBN-13(EAN): 9780792341109
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Examines closure spaces, an abstract mathematical theory, with emphasis on results applicable to formal logic. This title develops the theory, conceptually and methodologically, as part of topology. It shows how techniques and results from topology can be employed in the theory of deductive systems.

Автор: J?rgen Koslowski; Austin Melton
Название: Categorical Perspectives
ISBN: 1461271177 ISBN-13(EAN): 9781461271178
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: "Categorical Perspectives" consists of introductory surveys as well as articles containing original research and complete proofs devoted mainly to the theoretical and foundational developments of category theory and its applications to other fields. Bentley * G. Castellini * R. El Bashir * H. Husek * L. Melton * G. Schroeder * L. Strecker * A.

Автор: Eraldo Giuli
Название: Categorical Topology
ISBN: 9401066027 ISBN-13(EAN): 9789401066020
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the L`Aquila Conference 1994

Автор: M. Makkai; G.E. Reyes
Название: First Order Categorical Logic
ISBN: 3540084398 ISBN-13(EAN): 9783540084396
Издательство: Springer
Рейтинг:
Цена: 5583.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.