Title: Fields of Logic and Computation II
Subjects: Logic