Bounded Variable Logics and Counting
Subtitle: A Study in Finite Models
Publisher: University of Cambridge ESOL Examinations
Published: 2017
Language: eng
Number of pages: 193
ISBN-13: 9781107167940
Subjects: Computational complexity; Model theory