Pages that link to "Item:Q4759410"
From MaRDI portal
The following pages link to A Theory of Positive Integers in Formal Logic. Part II (Q4759410):
Displaying 8 items.
- 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)
- The work of Kurt Gödel (Q4140948) (← links)
- Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525) (← links)
- The Mathematical Work of S.C.Kleene (Q4837673) (← links)
- (Q5119396) (← links)
- A formulation of the simple theory of types (Q5777498) (← links)
- A system of axiomatic set theory—Part II (Q5781082) (← links)