Proof mining mathematics, formalizing mathematics

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

Original language	English
DOIs	https://doi.org/10.1017/bsl.2018.60
Publication status	Published - 2018
Event	2018 North American Annual Meeting of the Association for Symbolic Logic - Macomb, United States Duration: 16 May 2018 → 19 May 2018

Conference	2018 North American Annual Meeting of the Association for Symbolic Logic
Country/Territory	United States
City	Macomb
Period	16/05/18 → 19/05/18

Access to Document

@conference{0b07d7bffbc749d3b165be2c03c54871,

title = "Proof mining mathematics, formalizing mathematics",

author = "Angeliki Koutsoukou-Argyraki",

year = "2018",

doi = "10.1017/bsl.2018.60",

language = "English",

note = "2018 North American Annual Meeting of the Association for Symbolic Logic ; Conference date: 16-05-2018 Through 19-05-2018",

}