![Mathematics / Deduction / Natural deduction / Ordinal numbers / Set theory / Curry–Howard correspondence / Mathematical logic / Proof theory / Logic Mathematics / Deduction / Natural deduction / Ordinal numbers / Set theory / Curry–Howard correspondence / Mathematical logic / Proof theory / Logic](https://www.pdfsearch.io/img/d1e09b1c238ed78faace08c5198b899b.jpg)
| Document Date: 2012-05-15 10:27:11 Open Document File Size: 192,03 KBShare Result on Facebook
Company Russell / / IndustryTerm deductive systems / / Person Arthur Prior / Shahid Rahman / David Lewis / Stephen Read / Richard Routley / Robert Brandom / / Technology recombination / /
SocialTag |