International Summer School for Proof Theory in First-Order-Logic
Event name
International Summer School for Proof Theory in First-Order-Logic
Event type
Event for scientific audience
Start date
22-08-2017
End date
27-08-2017
Location
Funchal
Country
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Baaz, Matthias | Epsilon Calculus II | Präsentation Presentation | 2017 | |
| 2 | Hetzl, Stefan | Hilbert's Larger Programme | Präsentation Presentation | 2017 | |
| 3 | Lolic, Anela | Proof normalization and expansion proofs | Präsentation Presentation | 2017 | |
| 4 | Aguilera Ozuna, Juan Pablo | Proofs on systems with unsound rules | Präsentation Presentation | 2017 |