Der Anhang enthält eine Beschreibung der mathematischen Logik. Das Programm enthält eine praktische Suchfunktion.
