This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...