Unifying the adaptive logics proof theory. Three strategies for the price of one
| Speaker(s) | Hans Lycke |
|---|---|
| Date | 7 September 2010 |
| Place | Brussels, Belgium |
| Occasion | Second Workshop & Young Researchers Days in Logic, Philosophy and History of Science |
| Category | Contributed |