2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Главная
→
Bounded variable logics and counting: A study in finite models
Bounded variable logics and counting: A study in finite models
Martin Otto
This 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.
Скачать книгу бесплатно
(djvu, 1.55 Mb)
Читать «Bounded variable logics and counting: A study in finite models»
Популярные книги за неделю:
#1
В.Н.Носов. Полупроводники и их применение (1968, djvu)
1.03 Mb
#2
Самодельные детали для сельского радиоприемника
Авторы: З.Б.Гинзбург
,
Ф.И.Тарасов.
Категория:
радиоэлектроника
1.40 Mb
#3
Радиолюбительские конструкции
Вознюк В.В.
1.99 Mb
#4
ВАЗ 2110i, -2111i, -2112i
Категория:
civil
,
civil
,
transport
57.35 Mb
#5
Английский школьникам. Тренажер по чтению. Буквы и звуки
Е. В. Русинова
12.41 Mb
#6
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Роман Савин
Категория:
info
,
manual
,
computers
,
computers
,
manuals
5.26 Mb
#7
Система упражнений по развитию способностей человека (Практическое пособие)
Петров Аркадий Наумович
Категория:
Путь к себе
818 Kb
#8
Самоделки школьника
Тарасов Б.В.
Категория:
science
,
science
,
technical
,
hobby
,
oddjob
41.91 Mb
#9
Электронные схемы и их применение
Сентурия С.
,
Уэдлок Б.
10.14 Mb
Только что пользователи скачали эти книги:
#1
Стриптизёрша
Былинский Владислав
Категория:
Юмористическая фантастика
39 Kb
#2
Полуночный Ангел
Берд Джулия
Категория:
Исторические любовные романы
1003 Kb
#3
Параллельное программирование в MPI
Корнеев В.Д.
5.85 Mb
#4
Ясные сны
Харари К.
,
Вейнтрауб П.
440 Kb
#5
Беспрессовые пенопласты в строительных конструкциях
Годило П.В. и др.
2.69 Mb
#6
English Pronunciation in Use
Mark Hancock
Категория:
Иностранные языки
31.27 Mb
#7
Статистические методы повышения качества
Хитоси Кумэ
Категория:
Математика математика
16.72 Mb
#8
Язык С++. Учебное пособие
Астахова И. Ф.
,
Власов С. В.
,
Фертиков В. В.
,
Ларин А. В.
15.60 Mb
#9
Frontiers of Cord Blood Science
Niranjan Bhattacharya
,
Phillip Stubblefield
2.94 Mb
#10
Терапевтическая стоматология детского возраста
Хоменко Л.А.
Категория:
КНИГИ ЗДОРОВЬЕ
48.81 Mb