Thirteenth International Tbilisi Summer School in Logic and Language

Event name
Thirteenth International Tbilisi Summer School in Logic and Language
 
Event type
Event for scientific audience
 
Start date
25-09-2017
End date
29-09-2017
 
Location
Tbilisi
Country
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Aschieri, Federico Curry-Howard correspondencePräsentation Presentation2017
2Baaz, Matthias Gödel Logics: proof theory and semanticsPräsentation Presentation2017