Bounded Variable Logics And Counting - Otto Martin | Libro Cambridge University Press 03/2017 - HOEPLI.it


home libri books ebook dvd e film top ten sconti 0 Carrello


Torna Indietro

otto martin - bounded variable logics and counting

Bounded Variable Logics and Counting A Study in Finite Models




Disponibilità: Normalmente disponibile in 20 giorni
A causa di problematiche nell'approvvigionamento legate alla Brexit sono possibili ritardi nelle consegne.


PREZZO
123,98 €
NICEPRICE
117,78 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Pubblicazione: 03/2017





Note Editore

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.




Sommario

Preface; Introduction; 1. Definitions and preliminaries; 2. The games and their analysis; 3. The invariants; 4. Fixed-point logic with counting; 5. Related Lindström extensions; 6. Canonization problems; 7. Canonization for two variables; Bibliography; Index.




Autore

Martin Otto works in the Department of Mathematics at Rheinisch-Westfälische Technische Hochschule, Aachen, Germany.







Altre Informazioni

ISBN:

9781107167940

Condizione: Nuovo
Collana: Lecture Notes in Logic
Dimensioni: 235 x 18 x 158 mm Ø 400 gr
Formato: Copertina rigida
Illustration Notes:8 b/w illus.
Pagine Arabe: 193






Utilizziamo i cookie di profilazione, anche di terze parti, per migliorare la navigazione, per fornire servizi e proporti pubblicità in linea con le tue preferenze. Se vuoi saperne di più o negare il consenso a tutti o ad alcuni cookie clicca qui. Chiudendo questo banner o proseguendo nella navigazione acconsenti all’uso dei cookie.

X