[PEIRCE-L] LUW October 6 : being provable in Peano Arithmetic with at most k steps

This coming Wednesday, October 6, at 4 pm CET, one more session of the Logica Universalis Webinar (LUW). See details below. Everybody is welcome to join ! Register in advance here: https://www.springer.com/journal/11787/updates/18988758 Jean-Yves Beziau Organizer of LUW and President of LUA http:

[PEIRCE-L] LUW October 6 : being provable in Peano Arithmetic with at most k steps

This coming Wednesday, October 6, at 4 pm CET, one more session of the Logica Universalis Webinar (LUW). See details below. Everybody is welcome to join ! Register in advance here: https://www.springer.com/journal/11787/updates/18988758 Jean-Yves Beziau Organizer of LUW and President of LUA http:/