نظریه رایانش‌پذیری: تفاوت میان نسخه‌ها

مفهومی است که شباهت‌های زیادی به حساب لامبدا دارد. اما تفاوت‌های عمده‌ای نیز دارند. منطق ترکیبیاتی با تلاش‌های بسیار پیشرفت زیادی در زمینه‌های زیر داشته‌است:

 

 

 

 

== [[توابع بازگشتی مو]] ==

 

== جستارهای وابسته ==

 

== منابع ==