Defining a composition operation on sets of formulas one obtains a manysorted algebra which satisfies the superassociative law and one more identity. This algebra is called the clone of formulas of ...
Tá torthaí a d'fhéadfadh a bheith dorochtana agat á dtaispeáint faoi láthair.
Folaigh torthaí dorochtana
Aiseolas