Bounded variable logics and counting: A study in finite models

Free Download

Authors:

Series: Lecture Notes in Logic 9

ISBN: 3540620370, 9783540620372

Size: 2 MB (1628311 bytes)

Pages: 197/197

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category:

Martin Otto3540620370, 9783540620372

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 “Bounded variable logics and counting: A study in finite models”

Related products

Shopping Cart
Scroll to Top