The following pages link to Gödel on deduction (Q2631643):
Displaying 10 items.
- Gödel's natural deduction (Q1744008) (← links)
- Informal and absolute proofs: some remarks from a Gödelian perspective (Q2288278) (← links)
- Gödel's ontological proof and its variants (Q2856497) (← links)
- Godel's interpretation of intuitionism (Q3422401) (← links)
- (Q4893141) (← links)
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF (Q5027671) (← links)
- Gödel’s Disjunction (Q5221594) (← links)
- Core Gödel (Q6100981) (← links)
- G\"odel on Deduction (Q6272384) (← links)
- Kurt Gödel and the logic of concepts (Q6585148) (← links)