Designing, Understanding, and Analyzing Unconventional Computation: The Important Role of Logic and Constructive Mathematics

by Vladik Kreinovich