Displaying similar documents to “Ein formales System der klassischen Aussagenlogik mit einer einzigen Grundverknüpfung.”