Vendeur : Anybook.com, Lincoln, Royaume-Uni
EUR 34,10
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Volume 25. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9783764399764.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 54,46
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 53,27
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 57,76
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
EUR 62,91
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 57,75
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ammareal, Morangis, France
EUR 54,53
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Très bon. Ancien livre de bibliothèque avec équipements. Edition 2010. Tome 25. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2010. Volume 25. Ammareal gives back up to 15% of this item's net price to charity organizations.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 76,67
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Edité par Basel: Birkhäuser., 2010
Langue: anglais
Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Allemagne
Membre d'association : GIAQ
EUR 11,04
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Gut. XII, 261 p., with figures, Very good condition. ex libris-stamp. Sprache: Englisch Gewicht in Gramm: 770.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 87,01
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. Like New. Ships from Multiple Locations. book.
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel's theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage.The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging.This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students inrelevant disciplines.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 110,52
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 101,12
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. Like New. book.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 130,33
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
EUR 41,16
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 78,71
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 79,69
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND.
Vendeur : preigu, Osnabrück, Allemagne
EUR 49,75
Quantité disponible : 5 disponible(s)
Ajouter au panierBuch. Etat : Neu. Mathematical Logic | Foundations for Information Science | Wei Li | Buch | xiv | Englisch | 2014 | Birkhäuser | EAN 9783034808613 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.