Pages that link to "Item:Q2630825"
From MaRDI portal
The following pages link to Symbioses between mathematical logic and computer science (Q2630825):
Displaying 5 items.
- The prospects for mathematical logic in the twenty-first century (Q2736583) (← links)
- On the unusual effectiveness of logic in computer science (Q2736585) (← links)
- On the role of mathematical logic in mathematical education (Q2885241) (← links)
- (Q4699345) (← links)
- Personal Reflections on the Role of Mathematical Logic in Computer Science (Q5212039) (← links)