Mathematical Logic: Proof theory, Constructive Mathematics
Event name
Mathematical Logic: Proof theory, Constructive Mathematics
Event type
Event for scientific audience
Start date
16-11-2014
End date
22-11-2014
Location
Oberwolfach, Germany
Country
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Leigh, Graham | Cut-elimination for compositional truth | Präsentation Presentation | 2014 | |
| 2 | Afshari, Bahareh | Grammars for first-order proofs | Präsentation Presentation | 2014 | |
| 3 | Hetzl, Stefan | Some Observations on the Logical Foundations of Inductive Theorem Proving | Präsentation Presentation | 2017 | |
| 4 | Aschieri, Federico | Some Recent Results on Herbrand's Theorem | Präsentation Presentation | 2014 |