First Order Logic is also known as,

• A. first order predicate calculus
• B. quantification theory
• C. lower order calculus
• D. all of the mentioned above