Robuta

https://opc.mfo.de/show_workshop?id=3464 Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting): 2020-11-08 - 2020-11-14 mathematical logic proof theory constructive mathematics https://plato.stanford.edu/Entries/mathematics-constructive/ Constructive Mathematics (Stanford Encyclopedia of Philosophy) constructive mathematics encyclopedia of stanford philosophy