title: Sweet Reason: A Field Guide to Modern Logic (Textbooks in Mathematical Sciences)
author: Tom Tymoczko
description: "I think that this is the sort of book that generates strong opinions: you will either find it bewildering and perhaps loathe it, or you will find fascinating. It is certainly unique. I can think of no other logic text where xou will find out that the fact that "Buffalo buffalo buffalo buffalo buffalo buffalo buffalo." is a valid English sentence.<br />I am going to give my copy to the local school for use as a book for "Mathematics extension". I think my teenage sons will love it."<br /><i>R. Downey, Victoria University in Newsletter of the</i> <i>New Zealand Mathematical Society, No.82, August 2001</i>
zlib_text: TYPES, TABLEAUS, AND GODEL'S GOD
  
  TRENDS IN LOGIC
  Studia Logica Library
  VOLUME 13
  Managing Editor
  Ryszard Wojcicki, Institute of Philosophy and Sociology.
  Polish Academy ofSciences. Warsaw, Poland
  Editors
  Daniele Mundici, Department of Computer Sciences, University ofMilan, Italy
  Ewa Orlowska, National Institute of Telecommunications,
  Warsaw. Poland
  Graham Priest, Department ofPhilosophy, University ofQueensland,
  Brisbane, Australia
  Krister Segerberg, Department of Philosophy, Uppsala University,
  Sweden
  Alasdair Urquhart, Department of Philosophy, University ofToronto, Canada
  Heinrich Wansing, Institute ofPhilosophy, Dresden University of Technology,
  Germany
  SCOPE OF THE SERIES
  Trends in Logic is a bookseries covering essentially the same area as the journal
  Studia Logica - that is, contemporary formal logic and its applications and
  relations to other disciplines. These include artificial intelligence, informatics,
  cognitive science, philosophy of science, and the philosophy of languag