Prädikatenlogik (Signatur)

Eine Signatur besteht aus

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



Johannes Waldmann 2011-07-07