logisches Modell


Siehe: 

Programmtheorie.