edited by D. Mayr and G. Süssmann

D. Reidel , Sold and distributed in the U.S.A. and Canada by Kluwer Boston c1983 Synthese library v. 163

Available at 27 libraries