TY  - GEN
AU  - Cole, J. C
TI  - Non-axiomatizability results in infinitary languages for higher-order structures
PY  - 1971///
CY  - Aarhus
PB  - Universitet Aarhus
N1  - Contine bibliografie
ER  -