Scan barcode
592 pages • missing pub info (editions)
ISBN/UID: 9780131679955
Format: Hardcover
Language: English
Publisher: Pearson
Publication date: 01 November 1997
Description
Far more "user friendly" than the vast majority of similar books, this volume is truly written with the unsophisticated reader in mind. The pace is leisurely, but the authors are rigorous and maintain a serious attitude towards theorem proving...
Community Reviews
Content Warnings
592 pages • missing pub info (editions)
ISBN/UID: 9780131679955
Format: Hardcover
Language: English
Publisher: Pearson
Publication date: 01 November 1997
Description
Far more "user friendly" than the vast majority of similar books, this volume is truly written with the unsophisticated reader in mind. The pace is leisurely, but the authors are rigorous and maintain a serious attitude towards theorem proving...