TY  - RPRT
TI  - Approximating Propositional Calculi by Finite-valued Logics
AU  - Matthias Baaz
AU  - Richard Zach
PY  - 2002
DO  - 10.1109/ismvl.1994.302193
UR  - https://arxiv.org/abs/math/0203204
ID  - math/0203204
ER  -