Church's -calculus is an enthralling object of mathematical and logical study, born in 1930 as th... more Church's -calculus is an enthralling object of mathematical and logical study, born in 1930 as the mathematical theory of functions as rules, and invented for foundational purposes.
Church's -calculus is an enthralling object of mathematical and logical study, born in 1930 as th... more Church's -calculus is an enthralling object of mathematical and logical study, born in 1930 as the mathematical theory of functions as rules, and invented for foundational purposes.
Uploads
Papers by Musa Chonanga