Proofs and Algorithms: An Introduction to Logic and Computability by Gilles Dowe
49,33 €
Proofs and Algorithms: An Introduction to Logic and Computability Logic is a branch of philosophy, mathematics and computer science. It presents a series of results, both positive and negative, - Church's undecidability theorem, G.
Jetzt bei Ebay:
