An Etymological Dictionary of Astronomy and Astrophysics

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Number of Results: 1 Search : second-order logic

second-order logic

گوییک ِ رایه‌ی ِ دوم

guyik-e râye-ye dovom

Fr.: logique du seconde ordre

An n extension of → first-order logic that quantifies not only → variables that range over → individuals, but also quantifies over → relations.

→ second; → order; → predicate; → logic.

An Etymological Dictionary of Astronomy and Astrophysics
English-French-Persian