Finite Model Theory and Its Applications

by

Write The First Customer Review

Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern ...

Finite Model Theory and Its Applications 2014, Springer, Berlin

ISBN-13: 9783642438608

2007 edition

Trade paperback

Select
Finite Model Theory and Its Applications 2007, Springer, Berlin, Germany

ISBN-13: 9783540004288

Hardcover

Select