{PDF} Bounded variable logics and counting: A study in finite models Martin Otto

$9.99

Category: Tags: ,

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.

Reviews

There are no reviews yet.

Be the first to review “{PDF} Bounded variable logics and counting: A study in finite models Martin Otto”

Your email address will not be published. Required fields are marked *

Related products

Scroll to Top