Girard (mathematics, National Center of Scientific Research, Marseilles) presents a series of lectures on proof-theory a priori for mathematicians, computer scientists, physicists, philosophers, and linguists. The overall themes are the basics, around Curry-Howard, linear logic, polarized interpretations, iconoclasm, and the geometry of interaction. Among his topics are existence versus essence, functional interpretations, proof nets, orthodox exponentials, and Babel Tower versus Great Wall. Distributed in the US by the American Mathematical Society. Annotation ©2012 Book News, Inc., Portland, OR (booknews.com)