Pages that link to "Item:Q1840346"
From MaRDI portal
The following pages link to A mathematical logic without variables. I (Q1840346):
Displayed 13 items.
- Capacity of the regular polyhedra (Q912386) (← links)
- Arithmetic based on the Church numerals in illative combinatory logic (Q1115414) (← links)
- On adding (<i>ξ</i>) to weak equality in combinatory logic (Q3480014) (← links)
- (Q3869322) (← links)
- An abstract Church-Rosser theorem. II: Applications (Q4041549) (← links)
- Standard and Normal Reductions (Q4177543) (← links)
- Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525) (← links)
- The system CΔ of combinatory logic (Q5338314) (← links)
- A system of formal logic without an analogue to the curry <i>W</i> operator (Q5764365) (← links)
- A revision of the fundamental rules of combinatory logic (Q5834319) (← links)
- Consistency and completeness of the theory of combinators (Q5834320) (← links)
- New sets of postulates for combinatory logics (Q5845640) (← links)
- How to normalize the Jay (Q5940936) (← links)