The following pages link to (Q3584678):
Displaying 4 items.
- A personal account of Turing's imprint on the development of computer science (Q465701) (← links)
- On constructivity and the Rosser property: a closer look at some Gödelean proofs (Q1653263) (← links)
- Gödel, Gentzen, Goodstein: the magic sound of a G-string (Q2341287) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)