Logic for Applications (Texts in Computer Science) 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 oftopics has been heavily influenced by such… Continue reading Logic for Applications (Texts in Computer Science)