Workshop on Proof Theory 2003

Event name
Workshop on Proof Theory 2003
 
Event type
Event for scientific audience
 
Start date
30-11-2002
Location
Münster, Germany
Country
Austria
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias On the characterization of the classical content of constructive theoriesPräsentation Presentation2003