The annual European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium 2015)
Event name
The annual European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium 2015)
Event type
Event for scientific audience
Start date
03-08-2015
End date
08-08-2015
Location
Helsinki, Finnland
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Leigh, Graham | A theory of truth equi-consistent with Quine's New Foundations | Präsentation Presentation | 2015 | |
2 | Afshari, Bahareh | Confluence of cut elimination with respect to Herbrand disjunctions | Präsentation Presentation | 2015 |