Turing Diagrams: Systems of Calculus Based on Ordinal Logics - Haig, Asher Dreskin (2018)