home > book reviews > Richard C. Jeffrey

Google > Richard C. Jeffrey

author : Richard C. Jeffrey

Books

Computability and Logic: 2nd edn. 1985, with George S. Boolos
Probability and the Art of Judgment. 1992

Books : reviews

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

(read but not reviewed)

Primitive recursive functions