%0 Journal Article
%A Mundici, Daniele
%T Craig's interpolation theorem, in computation theory
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1981
%P 6-11
%V 70
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1981_8_70_1_a1/
%G en
%F RLINA_1981_8_70_1_a1