Take a photo of a barcode or cover
370 pages • missing pub info (view editions)
ISBN/UID: 9780387407623
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub Date: 01 April 2007
Description
An advanced, graduate-level text, surveying computational logic and set theory and its application to proof verification techniques. Book develops all needed theory and provides a CD-ROM with a proof-verifier program to demonstrate concepts. Advan...
Community Reviews
Content Warnings
370 pages • missing pub info (view editions)
ISBN/UID: 9780387407623
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub Date: 01 April 2007
Description
An advanced, graduate-level text, surveying computational logic and set theory and its application to proof verification techniques. Book develops all needed theory and provides a CD-ROM with a proof-verifier program to demonstrate concepts. Advan...
Community Reviews
Content Warnings