Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg
scientific article; zbMATH DE number 6242964