The following pages link to (Q3024829):
Displaying 4 items.
- Declarative representation of proof terms (Q2655330) (← links)
- Extracting Information from Logical Proofs (Q4051642) (← links)
- Context-relative syntactic categories and the formalization of mathematical text (Q4647583) (← links)
- Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012) (← links)