TY  - JOUR
AU  - Mundici, Daniele
TI  - Craig's interpolation theorem, in computation theory
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1981
SP  - 6
EP  - 11
VL  - 70
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1981_8_70_1_a1/
LA  - en
ID  - RLINA_1981_8_70_1_a1
ER  -