Existence and Machine - Grigenti, Fabio (Springer International Publishing, 2016)