proofs, structures, and applications Garnier, Rowan John Taylor creator text Boca Raton CRC Press 2010 monographic xxi, 821 p. : ill. ; 24 cm. Includes index. Discrete mathematics Mathematics Logical connectives Truth tables Mathematical proof Matrix algebra Linear equation Boolean algebra Graph theory Logic Math RICAS 511.1 GAR 9781439812808 (pbk)