Scan barcode
456 pages • missing pub info (editions)
ISBN/UID: 9780387948935
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 17 January 1997
Description
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re- cent dramatic growth in the applications oflogic to computer science. Thus, our choice of...
Community Reviews
Content Warnings
456 pages • missing pub info (editions)
ISBN/UID: 9780387948935
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 17 January 1997
Description
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re- cent dramatic growth in the applications oflogic to computer science. Thus, our choice of...
Community Reviews
Content Warnings