Report - 11. Einige neuere Beweismethoden in der Logik · das Bild einer n-stelligen Prädikatenvariable ist ein n-stelliges Attribut über Für eine Aussagenvariable (als nullstellige Prädikatenvariable)

Please pass captcha verification before submit form