Questioning Constructive Reverse Mathematics

  • I. Loeb (Speaker)

Activity: Lecture / Presentation › Academic

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