Bauer, Andrej

• Vol 9 (2017) - Articles
  Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014)
  Details  C0. [PDF]