• 

  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.

• 

  2.10 Exkurs: Prdikatenlogik zweiter Stufe

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

  Keine Beschreibung vorhanden.

---

---