Prädikatenlogik (Semantik - Terme)

Wert eines Termes in einer Struktur, unter einer Belegung, ist ein Element des Universums



Johannes Waldmann 2012-02-01