home > book reviews > George S. Boolos

Google > George S. Boolos

author : George S. Boolos

Books

Computability and Logic: 2nd edn. 1985, with Richard C. Jeffrey

Books : reviews

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

(read but not reviewed)

Primitive recursive functions