Bounded Variable Logics and Counting

Bok av Martin Otto