September Sale -- all items on the website discounted 20% (no additional discounts offered or allowed at this time). Sale ends 30 September, 2019
Shopping Cart Shopping Cart 0 items
Item Details
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
save 20%$8.00
Item no. C3271
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.