Kolloquium zur Logistik und der mathematischen Grundlagenforschung "unter der geistigen Leitung von Paul Bernays