Bounded Variable Logics and Counting

A Study in Finite Models

Inbunden, Engelska, 2017

Av Germany) Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Martin Otto

1 999 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
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.

Produktinformation

Du kanske också är intresserad av

Logic and Algebraic Structures in Quantum Computing

Logic and Algebraic Structures in Quantum Computing

Jennifer (University of San Francisco) Chubb, Washington DC) Eskandarian, Ali (George Washington University, Washington DC) Harizanov, Valentina (George Washington University, Jennifer Chubb, Ali Eskandarian, Valentina Harizanov

2 329 kr

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Gregory Cherlin, New Jersey) Cherlin, Gregory (Rutgers University

1 979 kr

The Core Model Iterability Problem

The Core Model Iterability Problem

Berkeley) Steel, John R. (University of California, John R. Steel

1 999 kr

General Algebraic Semantics for Sentential Logics
Del 7

General Algebraic Semantics for Sentential Logics

Josep M. Font, Ramon Jansana

719 kr

Fine Structure and Iteration Trees

Fine Structure and Iteration Trees

William J. (University of Florida) Mitchell, Los Angeles) Steel, John R. (University of California, William J. Mitchell, John R. Steel

1 999 kr

Kurt Godel

Kurt Godel

California) Feferman, Solomon (Stanford University, Massachusetts) Parsons, Charles (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Stephen G. (Pennsylvania State University) Simpson, Solomon Feferman, Charles Parsons, Stephen G. Simpson

2 179 kr

Course in Model Theory

Course in Model Theory

Katrin Tent, Martin Ziegler, Germany) Ziegler, Martin (Albert-Ludwigs-Universitat Freiburg

999 kr

Core Model Iterability Problem
Del 8

Core Model Iterability Problem

John Steel

719 kr

Logic Colloquium '95

Logic Colloquium '95

Haifa) Makowsky, Johann A. (Technion - Israel Institute of Technology, Haifa) Ravve, Elena V. (Technion - Israel Institute of Technology, Johann A. Makowsky, Elena V. Ravve

2 649 kr

Recursion Theory

Recursion Theory

North Carolina) Shoenfield, Joseph R. (Duke University, Joseph R. Shoenfield

1 979 kr

Tillhör följande kategorier