Bounded Variable Logics And Counting: A Study In Finite Models (Lecture Notes In Logic, 9) Martin Otto

ISBN: 9783540620372

Published: January 28th 1997

Paperback

187 pages


Description

Bounded Variable Logics And Counting: A Study In Finite Models (Lecture Notes In Logic, 9)  by  Martin Otto

Bounded Variable Logics And Counting: A Study In Finite Models (Lecture Notes In Logic, 9) by Martin Otto
January 28th 1997 | Paperback | PDF, EPUB, FB2, DjVu, talking book, mp3, RTF | 187 pages | ISBN: 9783540620372 | 7.17 Mb

This monograph in finite model theory offers a comprehensive treatment of a variety of results in the model theory and descriptive complexity theory of infinitary logics with a bounded number of variables and logics with counting constructs.TheMoreThis monograph in finite model theory offers a comprehensive treatment of a variety of results in the model theory and descriptive complexity theory of infinitary logics with a bounded number of variables and logics with counting constructs.The exposition is largely self-contained, with introductory sections on the relevant logics, model theoretic concepts, and the programme of descriptive complexity.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Bounded Variable Logics And Counting: A Study In Finite Models (Lecture Notes In Logic, 9)":


topnaprawy.pl

©2012-2015 | DMCA | Contact us