Name: Bounded Variable Logics and Counting (Lecture Notes in Logic) (en Inglés)
Price: 195.64 USD
Availability: InStock
Author: Martin Otto
ISBN: 9781107167940

portada Bounded Variable Logics and Counting (Lecture Notes in Logic) (en Inglés)

Bounded Variable Logics and Counting (Lecture Notes in Logic) (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Martin Otto

Año

2017

Idioma

Inglés

N° páginas

193

Encuadernación

Tapa Dura

ISBN13

9781107167940

N° edición

Categorías

Lógica matemática

Bounded Variable Logics and Counting (Lecture Notes in Logic) (en Inglés)

Martin Otto (Autor) · Cambridge University Press · Tapa Dura

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 355.71$ 195.64

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 195.64

Llega entre el 03 Sep y el 16 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Bounded Variable Logics and Counting (Lecture Notes in Logic) (en Inglés)"

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.