The following pages link to (Q5529477):
Displaying 5 items.
- The usual model construction for NFU preserves information (Q691132) (← links)
- Systems of combinatory logic related to Quine's `New Foundations' (Q809994) (← links)
- A semantic characterization of the well-typed formulae of \(\lambda\)- calculus (Q1208735) (← links)
- An axiomatic explanation of complete self-reproduction (Q5550324) (← links)
- Strong Ambiguity (Q6094138) (← links)