libcats.org
Главная

Bounded variable logics and counting: A study in finite models

Обложка книги Bounded variable logics and counting: A study in finite models

Bounded variable logics and counting: A study in finite models

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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: