Handbook of Logic and Proof Techniques for Computer Science
Steven George Krantz · Birkhäuser Boston eBooks · 2002
Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the sub