PREFERRED TERM
نظریه مرتبه اول
TYPE
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
BROADER CONCEPT
RELATED CONCEPTS
SCOPE NOTE
-
نظریه ای منطقی که در آن محمولات نمی توانند توابع و محمولات دیگری را به عنوان شناسه داشته باشند و سور برای محمول و تابع مجاز نیست.
IN OTHER LANGUAGES
first order theory
English
URI
http://www.irandoc.acir/onto/irandoc/MAT0007292