Original language | English |
---|---|
Pages | 2961-2962 |
Number of pages | 2 |
DOIs | |
Publication status | Published - 2014 |
Event | Mathematical Logic: Proof theory, Constructive Mathematics - Duration: 16 Nov 2014 → 22 Nov 2014 |
Workshop
Workshop | Mathematical Logic: Proof theory, Constructive Mathematics |
---|---|
Period | 16/11/14 → 22/11/14 |