Author: George S. Boolos
Publisher: Cambridge University Press
Keywords: provability, logic
Number of Pages: 316
Published: 1995-04-28
List price: $58.00
ISBN-10: 0521483255
ISBN-13: 9780521483254

This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author’s earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention.

Authors:George Boolos, John P. Burgess,
Publisher: Harvard University Press
Keywords: logic
Number of Pages: 460
Published: 1999-10-15
List price: $37.00
ISBN-10: 067453767X
ISBN-13: 9780674537675

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gdel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege’s work on logic and the philosophy of mathematics. John Burgess has provided introd

Authors:George Boolos, Richard C. Jeffrey,
Publisher: Cambridge University Press
Keywords: logic, computability
Number of Pages: 272
Published: 1974-07-18
List price: unknow
ISBN-10: 052120402X
ISBN-13: 9780521204026

Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical background, and because it covers not only the staple topics of an intermediate logic course such as Godel’s Incompleteness Theorems, but also a large number of optional topics from Turing’s theory of computability to Ramsey’s theorem. John Burgess has enhanced the book by adding a selection of problems at the end of each chapter.

Authors:George S. Boolos, John P. Burgess, Richard C. Jeffre
Publisher: Cambridge University Press
Keywords: logic, computability
Number of Pages: 364
Published: 2007-09-17
List price: $94.99
ISBN-10: 0521877520
ISBN-13: 9780521877527

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel’s incompleteness theorems, but also a large number of optional topics, from Turing’s theory of computability to Ramsey’s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to

Authors:George S. Boolos, John P. Burgess, Richard C. Jeffre
Publisher: Cambridge University Press
Keywords: logic, computability
Number of Pages: 366
Published: 2007-09-17
List price: $31.99
ISBN-10: 0521701465
ISBN-13: 9780521701464

Authors:George Adam Roberts, George Krauss, Richard Kennedy,
Publisher: ASM International
Keywords: steels, tool
Number of Pages: 364
Published: 1998-04-01
List price: $199.00
ISBN-10: 0871705990
ISBN-13: 9780871705990

Authors:George Orwell, Keith Gessen, George Packer,
Publisher: Houghton Mifflin Harcourt
Keywords: essays, critical, propaganda, art
Number of Pages: 416
Published: 2008-10-13
List price: $25.00
ISBN-10: 0151013551
ISBN-13: 9780151013555

As a critic, George Orwell cast a wide net. Equally at home discussing Charles Dickens and Charlie Chaplin, he moved back and forth across the porous borders between essay and journalism, high art and low. A frequent commentator on literature, language, film, and drama throughout his career, Orwell turned increasingly to the critical essay in the 1940s, when his most important experiences were behind him and some of his most incisive writing lay ahead. All Art Is Propaganda follows Orwell as he demonstrates in piece after piece how intent analysis of a work or body of work gives rise to trench