Titlebook: Handbook of Logic and Proof Techniques for Computer Science; Steven G. Krantz Book 2002 Birkhäuser Boston 2002 Boolean algebra.algorithms.

synchronous

he encyclopedic Handbook of Logic in Computer Science by Abramsky, Gabbay, and Maibaum is a wonderful resource for the professional. But it is overwhelming for the casual user. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only 978-1-4612-6619-8978-1-4612-0115-1

commodity

支形吊灯