TY  - RPRT
TI  - First-order Goedel logics
AU  - Matthias Baaz
AU  - Norbert Preining
AU  - Richard Zach
PY  - 2006
DO  - 10.1016/j.apal.2007.03.001
UR  - https://arxiv.org/abs/math/0601147
ID  - math/0601147
ER  -