1 - Definitions and Preliminaries
Published online by Cambridge University Press: 24 March 2017
Summary
- Type
- Chapter
- Information
- Bounded Variable Logics and CountingA Study in Finite Models, pp. 15 - 50Publisher: Cambridge University PressPrint publication year: 2017