Logic for Applications, Hardcover von Nerode, Anil; Shore, Richard A., gebraucht Go...
152,85 €
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:
