Master of Logic / Institute for Logic, Language and Computation
'Abstract thought ... is about ideas, progress of human thinking and total certainty. ... [Any] serious idea, formalism or system will be inspected from a variety of angles...'
The Master of Logic Programme, offered by the the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, is a two-year international Master's programme providing intensive interdisciplinary research training in the foundations of mathematical and philosophical logic as well as their application in computer science, linguistics, and cognitive science.