The following pages link to (Q4420197):
Displaying 6 items.
- Why there is no such discipline as hypercomputation (Q2497871) (← links)
- Parikh and Wittgenstein (Q3299831) (← links)
- My Life as a Logician (Q3305314) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length (Q5859289) (← links)
