%0 Journal Article
%T Books Received
%J Journal of Logic and Computation
%V 4
%N 4
%P 459-459
%@ 0955-792X
%D 1994-08-01
%I Oxford University Press
%~ DeepDyve