|
|
libcats.org
Relation Algebras by Games,R. Hirsch, I. HodkinsonRelation algebras are algebras arising from the study of binary relations.
They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Ad fontes: Original Manuscripts and Their Signicance for Studying Early Christianity. Selected Essays (Texts and Editions for New Testament Study)Автор: Thomas J. KrausКатегория: Образование
Размер книги: 2.18 Mb
Polymers from Renewable Resources: Biopolyesters and Biocatalysis (Acs Symposium Series)Автор: Carmen Scholz, Автор: Richard A. GrossКатегория: Химия
Размер книги: 42.89 Mb
Weather, Climate and Climate Change: Human PerspectivesАвтор: Greg O'Hare, Автор: John Sweeney, Автор: Rob Wilby
Размер книги: 15.87 Mb
Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time SystemsАвтор: Benny Akesson, Автор: Kees Goossens
Размер книги: 2.01 Mb
The Portable Atheist: Essential Readings for the NonbelieverАвтор: Hitchens ChristopherКатегория: fiction
Размер книги: 948 Kb
|
|
|