TY  - BOOK
A1  - Martin Otto
TI  - Bounded variable logics and counting : a study in finite models
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101380661
UR  /book/101380661/Bounded-variable-logics-and-counting-a-study-in/
ER  -