![Logic / Proof theory / Set theory / Ordinal arithmetic / Curry–Howard correspondence / Mathematical logic / Mathematics / Ordinal numbers Logic / Proof theory / Set theory / Ordinal arithmetic / Curry–Howard correspondence / Mathematical logic / Mathematics / Ordinal numbers](https://www.pdfsearch.io/img/edabcff3725a3c0545a3cf0e23932ceb.jpg)
| Document Date: 2013-09-05 16:41:53 Open Document File Size: 289,11 KBShare Result on Facebook
City Bristol / / Company Tennant / GE / / Country United Kingdom / / Facility Higher-Level Rules∗ Stephen Read University of St Andrews September / / IndustryTerm empty product / possible solution / / Organization General-Elimination Harmony and Higher-Level Rules∗ Stephen Read University of St Andrews / Arts and Humanities Research Council / / Person Dag Prawitz / Arthur Prior / Heinrich Wansing / John Mayberry / Michael Dummett / Gerhard Gentzen / Paul Lorenzen / / RadioStation 6 What / /
SocialTag |