TY - BOOK ID - 28121995 TI - Bounded variable logics and counting : a study in finite models PY - 1997 SN - 3540620370 3662216760 PB - [Place of publication not identified] Springer DB - UniCat KW - Computer science KW - Mathematical logic KW - Model theory KW - Computational complexity KW - Mathematics KW - Physical Sciences & Mathematics KW - Mathematical Theory KW - Complexity, Computational KW - Electronic data processing KW - Machine theory KW - Logic, Symbolic and mathematical UR - https://www.unicat.be/uniCat?func=search&query=sysid:28121995 AB - ER -