We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£65.88
Cambridge University Press Bounded Variable Logics and Counting: A Study in Finite Models: 9 (Lecture Notes in Logic, Series Number 9)
Price data last checked 47 day(s) ago - refreshing...
Price History & Forecast
Last 44 days • 44 data points (No recent data available)
Price Distribution
Price distribution over 44 days • 3 price levels
Current Price
Price Analysis
Most common price: £55 (23 days, 52.3%)
Price range: £55 - £66
Price levels: 3 different prices over 44 days
Description
Product Description 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. Book Description This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics. About the Author Martin Otto works in the Department of Mathematics at Rheinisch-Westfälische Technische Hochschule, Aachen, Germany.
Product Specifications
- Format
- Hardcover
- ASIN
- 1107167949
- Domain
- Amazon UK
- Release Date
- 02 March 2017
- Listed Since
- 24 August 2016
Barcode
No barcode data available
Similar Products You Might Like
92% match
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
Cambridge University Press
£118.40
23 Feb 2026
92% match
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£77.03
28 Feb 2026
91% match
Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)
Cambridge University Press
£90.84
07 Mar 2026
91% match
Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)
Cambridge University Press
£97.46
06 Apr 2026
91% match
The Core Model Iterability Problem: 8 (Lecture Notes in Logic, Series Number 8)
Cambridge University Press
£72.34
10 Mar 2026
90% match
Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)
Cambridge University Press
£50.59
07 Mar 2026
90% match
A Guide to NIP Theories: 44 (Lecture Notes in Logic, Series Number 44)
Cambridge University Press
£96.05
06 Mar 2026
90% match
Mathematical Logic and Model Theory: A Brief Introduction: 0 (Universitext)
Springer
£49.03
09 Feb 2026
90% match
Fine Structure and Iteration Trees: 3 (Lecture Notes in Logic, Series Number 3)
Cambridge University Press
£55.20
19 Feb 2026
90% match
Logical Foundations of Proof Complexity (Perspectives in Logic)
Cambridge University Press
£54.59
15 Feb 2026
90% match
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£56.24
25 Feb 2026
90% match
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
£103.00
07 Mar 2026
90% match
Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)
Springer
£82.99
08 Mar 2026
90% match
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
Oxford University Press
£68.02
17 Mar 2026
90% match
Computable Structure Theory: Within the Arithmetic (Perspectives in Logic)
£88.49
06 Jan 2026
90% match
A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)
Springer
£50.10
09 Feb 2026
90% match
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)
Springer
£143.36
25 Jan 2026
90% match
A General Algebraic Semantics for Sentential Logics: 7 (Lecture Notes in Logic, Series Number 7)
Cambridge University Press
£95.00
09 Mar 2026
90% match
Semantic Relationism: 1 (The Blackwell / Brown Lectures in Philosophy)
Wiley-Blackwell
£60.00
07 Feb 2026
90% match
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
Cambridge University Press
£45.08
15 Feb 2026
90% match
The Logic of Infinity
Cambridge University Press
£139.00
05 Feb 2026
90% match
Ordinal Computability: An Introduction to Infinitary Machines: 9 (De Gruyter Series in Logic & its Applications, 9)
De Gruyter
£91.00
12 Dec 2025
90% match
Handbook of Philosophical Logic: 9
Springer
£116.80
08 Jan 2026
90% match
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)
Springer
£154.95
13 Jan 2026