| Original language | English |
|---|---|
| Pages | 2961-2962 |
| Number of pages | 2 |
| DOIs | |
| Publication status | Published - 2014 |
| Event | Mathematical Logic: Proof theory, Constructive Mathematics: Workshop ID 1447 - Mathematisches Forschungsinstitut Oberwolfach Duration: 16 Nov 2014 → 22 Nov 2014 https://www.mfo.de/www/activity/1447 |
Conference
| Conference | Mathematical Logic: Proof theory, Constructive Mathematics |
|---|---|
| Period | 16/11/14 → 22/11/14 |
| Internet address |