TY  - RPRT
TI  - Quantified propositional Goedel logics
AU  - Matthias Baaz
AU  - Agata Ciabattoni
AU  - Richard Zach
PY  - 2000
UR  - https://arxiv.org/abs/math/0006122
ID  - math/0006122
ER  -