- 2 402 202 книги
- Поиск
libcats.org
Bounded variable logics and counting: A study in finite models
Martin OttoThis monograph offers comprehensive treatment of a variety of results in the finite model theory. The exposition includes introductory sections on the relevant logics, model theoretic concepts, and the programme of descriptive complexity.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Автор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Автор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Rigorous Quantum Field Theory: A Festschrift for Jacques Bros
Автор: Anne Boutet de Monvel, Автор: Detlev Buchholz, Автор: Daniel Iagolnitzer, Автор: Ugo Moschella
Размер книги: 11.37 Mb
Sensing Cities: Regenerating Public Life in Barcelona and Manchester (Routledge Studies in Human Geography)
Автор: Monica Montserrat DegenКатегория: Образование
Размер книги: 28.27 Mb
The Trickster Comes West: Pan-African Influence in Early Black Diasporan Narratives
Автор: Babacar M'Baye
Размер книги: 1.55 Mb
Alzheimer's And Dementia: A Practical And Legal Guide For Nevada Caregivers
Автор: Kim Boyer, Автор: Mary Shapiro
Размер книги: 965 Kb
Lot na Amaltee. Stażyści
Автор: Strugaccy A, Автор: Strugaccy BКатегория: fiction
Размер книги: 288 Kb