Richard C. Jeffrey Books

Computability and Logic