Pages that link to "Item:Q5212039"
From MaRDI portal
The following pages link to Personal Reflections on the Role of Mathematical Logic in Computer Science (Q5212039):
Displaying 5 items.
- On the idea(l) of logical closure (Q1192341) (← links)
- From constructivism to computer science (Q1274450) (← links)
- Symbioses between mathematical logic and computer science (Q2630825) (← links)
- On the unusual effectiveness of logic in computer science (Q2736585) (← links)
- On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (Q2986777) (← links)