Bounded Variable Logics and Counting - A Study in Finite Models (Hardcover)

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Series:	Lecture Notes in Logic
Release date:	March 2017
Authors:	Martin Otto
Dimensions:	235 x 158 x 18mm (L x W x T)
Format:	Hardcover
Pages:	193
ISBN-13:	978-1-107-16794-0
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Promotions
LSN:	1-107-16794-9
Barcode:	9781107167940

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!