We navigate the history of philosophy,focus mostly on the so called linguistic turn of modern philosophy.We will also retrospect the development of modern l
Although theoretical computer science has its origin in logic,starting from 80s,methods and results from algebra and combinatorics have taken a leading role