Media Summary: This talk was part of the Workshop on "Reverse Mathematics and Mathematician and philosopher, President of the British Logic Colloquium and Vice -President of the European Set Theory ... Title: Towards transfinite dynamical systems Speaker: Professor
Philip Welch Higher Type Recursion - Detailed Analysis & Overview
This talk was part of the Workshop on "Reverse Mathematics and Mathematician and philosopher, President of the British Logic Colloquium and Vice -President of the European Set Theory ... Title: Towards transfinite dynamical systems Speaker: Professor Talk at: FOMUS 2016. For all Talks and more information, slides etc. see: Proving Theorems from ...
