Displaying similar documents to “Widerspruchsfreier Aufbau einer typenfreien Logik. II.”