%0 Generic %E Rose, Harvey Ernest. %E Shepherdson, J. C. %@ 0444106421 %@ 0720422000 %T Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 /