附注:
xv, 738 p. :
著者:
Nieuwenhuis, Robert.
著者:
Voronkov, A.