Handbook of Logic and Proof Techniques for Computer Science
By: by Steven G. Krantz
Publisher: Birkhäuser Boston; Imprint: Birkhäuser
Published: 2002
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] /
Number of pages: 245
ISBN-13: 9781461266198; 9781461201151
Subjects: Logic design; Mathematics; Symbolic and mathematical Logic; Computer science
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.