Pages that link to "Item:Q2771587"
From MaRDI portal
The following pages link to Handbook of logic and proof techniques for computer science (Q2771587):
Displaying 6 items.
- Handbook of philosophical logic. Vol. I: Elements of classical logic (Q792991) (← links)
- Handbook of proof theory (Q1264579) (← links)
- A modern rigorous approach to stratification in NF/NFU (Q2084571) (← links)
- Fundamentals of logic and computation. With practical automated reasoning and verification (Q2240968) (← links)
- (Q3618853) (← links)
- (Q5503674) (← links)