Scan barcode
456 pages • missing pub info (editions)
ISBN/UID: 9781461268550
Format: Paperback
Language: English
Publisher: Springer
Publication date: 28 September 2012
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: 9781461268550
Format: Paperback
Language: English
Publisher: Springer
Publication date: 28 September 2012
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