Bounded variable logics and counting: A study in finite models

libcats.org

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»

Популярные книги за неделю:

В.Н.Носов. Полупроводники и их применение (1968, djvu)

1.03 Mb

Самодельные детали для сельского радиоприемника

Авторы: З.Б.Гинзбург, Ф.И.Тарасов.

Категория: радиоэлектроника

1.40 Mb

Радиолюбительские конструкции

Вознюк В.В.

1.99 Mb

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport

57.35 Mb

Английский школьникам. Тренажер по чтению. Буквы и звуки

Е. В. Русинова

12.41 Mb

Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах

Роман Савин

Категория: info, manual, computers, computers, manuals

5.26 Mb

Система упражнений по развитию способностей человека (Практическое пособие)

Петров Аркадий Наумович

Категория: Путь к себе

818 Kb

Самоделки школьника

Тарасов Б.В.

Категория: science, science, technical, hobby, oddjob

41.91 Mb

Электронные схемы и их применение

Сентурия С., Уэдлок Б.

10.14 Mb

Только что пользователи скачали эти книги:

Стриптизёрша

Былинский Владислав

Категория: Юмористическая фантастика

39 Kb

Полуночный Ангел

Берд Джулия

Категория: Исторические любовные романы

1003 Kb

Параллельное программирование в MPI

Корнеев В.Д.

5.85 Mb

Ясные сны

Харари К., Вейнтрауб П.

440 Kb

Беспрессовые пенопласты в строительных конструкциях

Годило П.В. и др.

2.69 Mb

English Pronunciation in Use

Mark Hancock

Категория: Иностранные языки

31.27 Mb

Статистические методы повышения качества

Хитоси Кумэ

Категория: Математика математика

16.72 Mb

Язык С++. Учебное пособие

Астахова И. Ф., Власов С. В., Фертиков В. В., Ларин А. В.

15.60 Mb

Frontiers of Cord Blood Science

Niranjan Bhattacharya, Phillip Stubblefield

2.94 Mb

#10

Терапевтическая стоматология детского возраста

Хоменко Л.А.

Категория: КНИГИ ЗДОРОВЬЕ

48.81 Mb