TY - JOUR AU - Mathias, A. R. D. IS - 1-2 JA - Synthese PB - Kluwer Academic Publishers PY - 2002 TI - A Term of Length 4 523 659 424 929 VL - 133 ER -