Funktionssymbol

1. Definition

Ein Relationssymbol ist durch die Signatur definiert

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 18:38