This book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...