Search results for “[subject: programming-algorithms]”

• Author(s): Anil Nerode • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralIn writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textb...

• Author(s): Anil Nerode • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverThis textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in comput...