附注:
xiii, 327 p. :
由:
Applied logic series ;
继承.