Abstract
Conference Proceedings of the ASL Logic Colloquium 2012
Original language | English |
---|---|
Pages (from-to) | 865-1028 |
Number of pages | 164 |
Journal | Annals of Pure and Applied Logic |
Volume | 167 |
Issue number | 10 |
Publication status | Published - 1 Oct 2016 |
Uri Abraham (Editor), Lev Beklemishev (Editor), Paola D'Aquino (Editor), Marcus Tressl (Editor)
Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 865-1028 |
Number of pages | 164 |
Journal | Annals of Pure and Applied Logic |
Volume | 167 |
Issue number | 10 |
Publication status | Published - 1 Oct 2016 |