Books

Books : reviews

George S. Boolos, Richard C. Jeffrey.
Computability and Logic: 2nd edn.
CUP. 1985

(read but not reviewed)