Bounded Variable Logics and Counting A Study in Finite Models |
|
| Author:
| Otto, Martin |
| Series title: | Lecture Notes in Logic Ser. |
| ISBN: | 978-1-316-73155-0 |
| Publication Date: | Dec 2016 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | USD $100.00 |
Book Description:
|
This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.
This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.