The following pages link to (Q4002451):
Displaying 7 items.
- Fundamentals of logic and computation. With practical automated reasoning and verification (Q2240968) (← links)
- (Q2724155) (← links)
- Handbook of logic and proof techniques for computer science (Q2771587) (← links)
- Mathematical Logic for Computer Science (Q2894076) (← links)
- (Q4263952) (← links)
- (Q4707780) (← links)
- Logical foundations: Personal perspective (Q5071026) (← links)