Computability and Logic. George Boolos, Richard Jeffrey.

Computability and Logic.

Cambridge Univ Press, London & NY, 1974, 262 pages, index.

Condition: Very Good pale-pink cloth hardcover in Good blue and gray dustjacket; prev. owner's name lightly rubberstamped on textblock fore-edges and endpage; jacket with edgewear and rubbing, some chipping. The binding is strong and secure, pages are clean and unmarked.

Price: $10.00

Item Description

Four Sections covers a wide range of topics, Computability; Logic; Arithmetic; special topics, using standard notation and carefully selected exercises; applicable for graduate courses in logic in departments of mathematics, philosophy and computer science (from the jacket flap)

Chapters include, Turing machines; Uncomputability; Recursive functions; First-order logic; Undecidability, indefinability and incompleteness; second-order logic; Dyadic logic; Craig's lemma; and MORE mb8.