Orðaskrá

quantification theory

1. umsagnarökfræði
   = logic of quantifiers, predicate logic, quantificational logic
   -> functional calculus, predicate calculus