Representation Theorems in Computer Science A Treatment in Logic Engineering - Özçep, Özgür Lütfü; Özçep, Özgür Lütfü (Springer International Publishing : Imprint: Springer, 2019)