Otten, Jens2020-08-212020-08-212014978-3-88579-418-9https://dl.gi.de/handle/20.500.12116/33802deKonnektionskalküle für automatisches Beweisen in klassischen und nicht-klassischen Logiken1617-5468