3rd International Workshop on Proof Theory, Modal Logic and Reflection Principles

Event name
3rd International Workshop on Proof Theory, Modal Logic and Reflection Principles
 
Event type
Event for scientific audience
 
Start date
05-09-2016
End date
09-09-2016
 
Location
Tbilisi, Georgien
Country
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias Reflection of universal formulas and Hilbert's two programs on the Foundation of MathematicsPräsentation Presentation2016
2Aguilera Ozuna, Juan Pablo The Topological Completeness of GLPLPräsentation Presentation2016