Bounded Variable Logics and Counting : A Study in Finite Models
by
Martin Otto
Book Details
Format
Hardback or Cased Book
Book Series
Lecture Notes in Logic
ISBN-10
1107167949
ISBN-13
9781107167940
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Mar 2nd, 2017
Print length
193 Pages
Weight
400 grams
Dimensions
23.50 x 15.80 x 1.80 cms
Product Classification:
Mathematical logic
AI Summary
Ksh 21,800.00
Manufactured on Demand
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
Get Bounded Variable Logics and Counting by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
Discover books you might love based on this title.
More in This Genre
Quadratics
Ksh 12,450.00
Logic and Discrete Mathematics
Ksh 3,250.00
Digital Forensics in the Era of Artificial Intelligence
Ksh 16,750.00
Set Theory for the Working Mathematician
Ksh 24,100.00
The Foundations of Mathematics in the Theory of Sets
Ksh 25,400.00
Proof Technology in Mathematics Research and Teaching
Ksh 23,400.00
