Mathematical logic develops the kind of thinking that is needed by the future planners of technical devices in order to have end-user friendly, logical technical applications. This creates an urgent need for workers with mathematical logic skills in European enterprises. The main objective of MALog is to provide prerequisites for company employees, as well as students in high schools and universit ...