Prädikatenlogik (Signatur)

Eine Signatur besteht aus

jeweils mit Stelligkeiten (einsortige Signatur) oder Typen (mehrsortige Signatur).

Beispiele:



Johannes Waldmann 2012-02-01