Ingen översättning hittades i den valda målspråket.

Din sökning innehåller flera ord. För bättre resultat, prova att söka orden separat: second-order, logic

Liknande ord

Definitioner

Substantiv

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