TY  - RPRT
TI  - Trakhtenbrot theorem and first-order axiomatic extensions of MTL
AU  - Matteo Bianchi
PY  - 2014
UR  - https://arxiv.org/abs/1403.0812
ID  - 1403.0812
ER  -