Bounded Variable Logics and Counting Image close
Bounded Variable Logics and Counting on Hardback by Martin Otto
Bounded Variable Logics and Counting on Hardback by Martin Otto
Show Hide Adult Content
Bounded Variable Logics and Counting close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Bounded Variable Logics and Counting

A Study in Finite Models
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$304.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $76.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 18-28 June using International Courier

Explore more Lecture Notes in Logic

See all products in this series

Logic Colloquium 2005 on Hardback by Ludomir Newelski
$305.99
Logic Colloquium 2005
by Ludomir Newelski ~ Hardback
Available - Usually ships in 3-4 weeks
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs on Hardback by Gregory Cherlin
$320.99
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and...
by Gregory Cherlin ~ Hardback
Available - Usually ships in 3-4 weeks
Quantifiers, Propositions and Identity on Hardback by Robert Goldblatt
$306.99
Quantifiers, Propositions and Identity
by Robert Goldblatt ~ Hardback
Available - Usually ships in 3-4 weeks
Logic Colloquium 2007 on Hardback
$295.99
Logic Colloquium 2007
Hardback
Available - Usually ships in 3-4 weeks
Stable Domination and Independence in Algebraically Closed Valued Fields by Deirdre Haskell
$111.99
Stable Domination and Independence in Algebraically Closed Valued...
by Deirdre Haskell ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Core Model Iterability Problem by John Steel Save $51
$135.99
$187.95
The Core Model Iterability Problem
by John Steel ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Kurt Gödel
$114.99
Kurt Gödel
Paperback / softback
Available - Usually ships in 3-4 weeks
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments on Hardback by Gregory Cherlin
$285.99
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and...
by Gregory Cherlin ~ Hardback
Available - Usually ships in 3-4 weeks
A General Algebraic Semantics for Sentential Logics on Hardback by Josep Maria Font
$304.99
A General Algebraic Semantics for Sentential Logics
by Josep Maria Font ~ Hardback
Available - Usually ships in 3-4 weeks
Logic Colloquium '90 on Hardback
$295.99
Logic Colloquium '90
Hardback
Available - Usually ships in 3-4 weeks
Logic Colloquium '96 on Hardback
$293.99
Logic Colloquium '96
Hardback
Available - Usually ships in 3-4 weeks
Descriptive Set Theory and Forcing by Arnold Miller Save $51
$135.99
$187.95
Descriptive Set Theory and Forcing
by Arnold Miller ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Complexity of Infinite-Domain Constraint Satisfaction on Hardback by Manuel Bodirsky
$358.99
Complexity of Infinite-Domain Constraint Satisfaction
by Manuel Bodirsky ~ Hardback
Available - Usually ships in 3-4 weeks
Games, Scales and Suslin Cardinals on Hardback
$299.99
Games, Scales and Suslin Cardinals
Hardback
Available - Usually ships in 3-4 weeks
Logic Colloquium '95 on Hardback
$345.99
Logic Colloquium '95
Hardback
Available - Usually ships in 3-4 weeks
Gödel '96 on Hardback
$308.99
Gödel '96
Hardback
Available - Usually ships in 3-4 weeks

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.

Author Biography:

Martin Otto works in the Department of Mathematics at Rheinisch-Westfälische Technische Hochschule, Aachen, Germany.
Release date Australia
March 2nd, 2017
Author
Audience
  • Professional & Vocational
Illustrations
8 Line drawings, black and white
Pages
193
Dimensions
158x235x18
ISBN-13
9781107167940
Product ID
26713526

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Martin Otto

See all books by this author

Von Karna Zu Kari. Gesellschaftliche Reflexionen Im Indischen Comic on Paperback by Martin Otto Save $37
$126.99
$163.99
Von Karna Zu Kari. Gesellschaftliche Reflexionen Im Indischen Comic
by Martin Otto ~ Paperback
Available - Usually ships in 3-4 weeks
Der Indische Comic Und Sein Einfluss Auf Gesellschaftliche Prozesse on Paperback by Martin Otto Save $26
$130.99
$156.99
Der Indische Comic Und Sein Einfluss Auf Gesellschaftliche Prozesse
by Martin Otto ~ Paperback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic