Jon Barwise and John Etchemendy, Language, Proof, and Logic, Seven Bridges Press and CSLI, 1999.
His latest book, written with Jon Barwise and Dave Barker-Plummer, is Language, Proof and Logic (2000, 2006), a popular introductory logic textbook.
•
He has also developed numerous pieces of instructional software, including Turing's World, Tarski's World, Fitch, and Hyperproof, software that allows computers to support the reasoning process.
John F. Kennedy | Pope John Paul II | Elton John | John | John Lennon | John Wayne | John McCain | John Kerry | John Cage | Olivia Newton-John | John Williams | John Peel | John Adams | John Steinbeck | John Travolta | John Milton | John Zorn | John Marshall | John Howard | John Singer Sargent | John Ruskin | John Updike | John Maynard Keynes | John Coltrane | John Cleese | St. John's | John Waters | John Lee Hooker | John Huston | John Ford |