Logic and C*-algebras:

A Journey through Ilijas' Mathematics