PDF File INTP-Free-Cohen-2013.pdf thumbnail Year 2013 Category Power Intermediate Type of Sequence Free