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]
Journal of Logic and Analysis ISSN: 1759-9008