The following pages link to GÖDEL’S NOTRE DAME COURSE (Q5283448):
Displaying 5 items.
- Gödel's natural deduction (Q1744008) (← links)
- Gödel on deduction (Q2631643) (← links)
- KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION (Q4961869) (← links)
- Some strategies for teaching a course based on <i>Gödel, Escher, Bach</i> (Q5860067) (← links)
- Kurt Gödel and the logic of concepts (Q6585148) (← links)