2.9 Exkurs: Mehrsortige Prdikatenlogik erster Stufe

http://www.en.pms.ifi.lmu.de/publications/projektarbeiten/Claudia.Plant_Alije.Ristemi/node14.html

Keine Beschreibung vorhanden.