Prädikatenlogik

http://www-ai.cs.uni-dortmund.de:8765/lexikon/theorie/logik/node3.html

Pr?dikatenlogik