PHIL 4420 / MATH 4030 - Computability and Logic

Spring 2015

HW

HW 1

HW 2

HW 3

HW 4

HW 5 (Fitch files with set-ups for problems 2 and 3)

HW 6

HW 7

HW 8