Deduktion预售AussagenlogikAlgorithmen
AussagenlogikElementare预订
AussagenlogikdikatenlogikelementarenGewissheit
nichtklassischeAussagenlogik9783528083854Klassische