Logic for Applications, Hardcover by Nerode, Anil; Shore, Richard A., Like Ne...
157,41 €
This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation.
Jetzt bei Ebay:
