Pages that link to "Item:Q4760396"
From MaRDI portal
The following pages link to A Theory of Positive Integers in Formal Logic. Part I (Q4760396):
Displaying 8 items.
- Arithmetic based on the Church numerals in illative combinatory logic (Q1115414) (← links)
- On the number of unary-binary tree-like structures with restrictions on the unary height (Q1745901) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Recursively enumerable sets and degrees (Q4184825) (← links)
- Alonzo church:his life, his work and some of his miracles (Q4391354) (← links)
- From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077) (← links)
- Recursive Predicates and Quantifiers (Q5843994) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)