Grzegorz J. Michalski Senior Lecturer Disciplines Mathematics Research Interests Mathematical Logic Foundations of Mathematics Recursion Theory