Isenmann, S.S.Isenmann2022-03-062022-03-061988https://publica.fraunhofer.de/handle/publica/271697deTheorembeweismethoden für die intuitionistische Logikdiploma thesis