Besonderhede van voorbeeld: -8215323038872854995

English

In this sense, first-order logic extended with different kinds of fixed points and quantifiers such as counting and transitive closure has been extensively studied.

Dutch

Op dit vlak is eerste-orde logica uitgebreid met verschillende soorten vaste punten en telwoorden zoals tellen en transitieve afsluiting reeds uitgebreid bestudeerd.