RelBib: Wie kreativ darf die Generierung axiomatischer Kalküle sein?

https://relbib.de/Record/1487693435