Proof Mining: An "Effective" Program (Even) for Ineffective Mathematics

Research output: Contribution to conference › Abstract › peer-review

Original language	English
Publication status	Published - 2017
Event	11th Panhellenic Logic Symposium - Delphi, Greece Duration: 12 Jul 2017 → 16 Jul 2017

Conference	11th Panhellenic Logic Symposium
Country/Territory	Greece
City	Delphi
Period	12/07/17 → 16/07/17

Access to Document