Realist consequence, epistemic inference, computational correctness
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 3 April 2013 |
| Place | Rio De Janeiro, Brazil |
| Occasion | The Scope of Logic through History, UNILOG Conference |
| Category | Contributed |
| Slides |
 slides_scope.pdf |