Bounded variable logics and counting : a study in finite models
1st ed.. - [Place of publication not identified]: Springer, 1997
Online
Monographie, Elektronische Ressource
- 1 online resource (190 pages)
Ermittle Ausleihstatus...
Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index.
| Titel: |
Bounded variable logics and counting : a study in finite models
|
|---|---|
| Lokaler Link: | |
| Verwandtes Werk: | |
| Ausgabe: | 1st ed. |
| Veröffentlichung: | [Place of publication not identified]: Springer, 1997 |
| Medientyp: | Monographie |
| Datenträgertyp: | Elektronische Ressource |
| Umfang: | 1 online resource (190 pages) |
| ISBN: | 3-662-21676-0 |
| Schlagwort: |
|
| Sonstiges: |
|