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