TY  - JOUR

T1  - An elementary definability theorem for first order logic

JO  - J SYMBOLIC LOGIC

PY  - 1999/09/01

AU  - Butz C

AU  - Moerdijk I

ED  - 

VL  - 64

IS  - 3

SP  - 1028

EP  - 1036

Y2  - 2024/12/22

ER  -