Displaying similar documents to “Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II.”