Questioning Constructive Reverse Mathematics

I. Loeb (Speaker)

Activity: Lecture / PresentationAcademic

Period2010
Held atWorkshop on Constructive Mathematics: Proofs and Computation
Event typeWorkshop
Degree of RecognitionInternational