Paperback. Condizione: Fair. No Jacket. Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Da: Chiron Media, Wallingford, Regno Unito
EUR 34,11
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 38,47
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 168.
Da: moluna, Greven, Germania
EUR 35,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 42,04
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel's incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 34,19
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 43,51
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 37,40
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel's incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic. 156 pp. Englisch.
Da: Majestic Books, Hounslow, Regno Unito
EUR 54,80
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 168 Illus.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 55,73
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 168.