Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic - Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) - Libros - Cambridge University Press - 9781107167940 - 2 de marzo de 2017
En caso de que portada y título no coincidan, el título será el correcto

Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)
Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic

Precio
$ 162,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 15 de jul. - 3 de ago.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.

193 pages, 8 b/w illus.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 2 de marzo de 2017
ISBN13 9781107167940
Editores Cambridge University Press
Páginas 194
Dimensiones 161 × 235 × 19 mm   ·   450 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) ( Ej. Hardcover Book )