Rogers equivalence theorem
قضیه هم‌ارزی راجرز
Godel numbering
شماره‌گذاری گودل
قضیه S-mn
زبان برنامه‌نویسی
programming language
theorems of computer science
قضایای علوم کامپیوتر
parameter theorem
قضیه پارامترسازی