The following pages link to A curious inference (Q1091390):
Displaying 9 items.
- Naturalizing indispensability: a rejoinder to `The varieties of indispensability arguments' (Q516230) (← links)
- First-order reasoning and primitive recursive natural number notations (Q708925) (← links)
- A slow growing analogue to Buchholz' proof (Q1182465) (← links)
- Reasoning with sentences and diagrams (Q1333317) (← links)
- Hybridizing nonmonotonic inheritance with theorem proving (Q1356176) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- (Q4523481) (← links)
- Non-elementary speed-ups in proof length by different variants of classical analytic calculi (Q4610324) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)