Patrick X. Rault

A TeXas Style Introduction to Proof is an IBL textbook designed for a one-semester course on proofs (the ``bridge course'') that also introduces TeX as a tool students can use to communicate their work. As befitting ``textless'' text, the book is, as one reviewer characterized it, ``minimal.'' Written in an easy-going style, the exposition is just enough to support the activities, and it is clear, concise, and effective. The book is well organized and contains ample carefully selected exercises that are varied, interesting, and probing, without being discouragingly difficult.