00000nam a22000007a 4500 UP-8027390931316805724 Buklod 20260218144003.0 m |o d | ta 260218s2013 nyu a rb |||1 u|eng d 9781489990990 17285634 DLC UPTC rda eng QA 9 C843 2013 Cunningham, Daniel W. author. A logical introduction to proof Daniel W. Cunningham. New York Springer 2013. xv, 356 pages illustrations 24 cm. text txt rdacontent unmediated rdamedia volume nc rdacarrier Softcover reprint of the 1st edition 2013. Includes bibliographical references and index. Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis. Logic, Symbolic and mathematical. FO UPTAC UPTAC QA 9 C843 2013 Book