2.10 Exkurs: Prdikatenlogik zweiter Stufe

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

Keine Beschreibung vorhanden.