An Etymological Dictionary of Astronomy and Astrophysics

English-French-Persian

فرهنگ ریشه‌شناختی اخترشناسی-اخترفیزیک

Homepage  Preliminaries  Abbreviations  Acknowledgments  References 
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
first-order predicate calculus
  افماریک ِ فراسنی ِ رایه‌ی ِ نخست  
afmârik-e farâsani-ye râye-ye naxost
Fr.: cacul des prédicats du premier ordre  

Same as → first-order logic.

See also: → first; → order; → predicate; → calculus.