Skip to main content alibris logo

Bounded Variable Logics and Counting: A Study in Finite Models

by

Write The First Customer Review
Bounded Variable Logics and Counting: A Study in Finite Models - Otto, Martin
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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 ...

loading
Bounded Variable Logics and Counting: A Study in Finite Models 2017, Cambridge University Press, Cambridge

ISBN-13: 9781107167940

Hardcover