• second-order logic

second-order logic (suomeksi)

Määritelmät:

• A formal system which extends first-order logic by allowing quantification over relations between members of the universe.