The following pages link to Proof by cases in formal logic (Q1840145):
Displaying 5 items.
- Arithmetic based on the Church numerals in illative combinatory logic (Q1115414) (← links)
- Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525) (← links)
- The Church-Rosser property in dual combinatory logic (Q4457728) (← links)
- The Mathematical Work of S.C.Kleene (Q4837673) (← links)
- The Church-Rosser property in symmetric combinatory logic (Q5718674) (← links)