Recent content by unko

My interest is solely based in the area of philosophy of logic or metamathematics or the history of them. And i would rather go to a philosophical department but for example in japanese universities almost all of the logicians are in the computering departments, and only around 2 professors on...

Hi, I'm planning to start my Master programme this december. I am very interested in philosophy of logic. And i am inclined to read more proof theory rather than model theory. And i really wanted to engage in proof theory as my first reading materials towards mathematical logic area...