“Axiomatizing Consciousness with applications” Prof. Henk Barendregt (Video Lecture) Radboud University, Nijmegen, The Netherlands
