mikeshulman/book — pull request #2 by mikeshulman (2014-01-20 16:07:28+00:00)
Title: Clarify classical, constructive, intuitionistic in intro

Since everyone seems to like this version, I'm submitting a pull request.