%0 Journal Article
%A A. Leitsch
%T Computability and Logic   -  Boolos, G.; Jeffrey, R.
%J Metrika
%D 1975
%P 177-177
%V 22
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MET_1975__22_175669/
%F MET_1975__22_175669