@article{MET_1975__22_175669,
     author = {A. Leitsch},
     title = {Computability and {Logic}   -  {Boolos,} {G.;} {Jeffrey,} {R.}},
     journal = {Metrika},
     pages = {177--177},
     publisher = {mathdoc},
     volume = {22},
     year = {1975},
     url = {http://geodesic.mathdoc.fr/item/MET_1975__22_175669/}
}