Mathematical Logic: Foundations for Information Acience. Progress in Computer Science and Applied Logic; Vol. 25.
Idioma: inglés
Editorial: Basel: Birkhäuser., 2010
- Tapa dura
- Usado

Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AlemaniaAntiquariat Thomas Haker GmbH & Co. KG
Vendedor de AbeBooks desde 3 de mayo de 2002
Miembro de asociación: GIAQ
Ver los artículos de este vendedorCondición: Usado - Bueno
EUR 11,70
Cantidad disponible: 1 disponibles
Añadir al carritoDescripción del artículo del vendedor
XII, 261 p., with figures, Very good condition. ex libris-stamp. Sprache: Englisch Gewicht in Gramm: 770.
N° de ref. del artículo 832931
- Título
- Mathematical Logic: Foundations for Information Acience. Progress in Computer Science and Applied Logic; Vol. 25.
- Autor
- Li, Wei:
- Editorial
- Basel: Birkhäuser.
- Año de publicación
- 2010
- Estado
- Gut
- Encuadernación
- Hardcover.
- Idioma
- inglés
- ISBN 10
- 3764399767
- ISBN 13
- 9783764399764
- Peso del artículo
- 770 gramos
- Catálogos de vendedores
- Mathematik
“Sinopsis” puede pertenecer a otra edición de este título.
De la contraportada
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.
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 in relevant disciplines.
“Acerca de” puede pertenecer a otra edición de este título.
Antiquariat Thomas Haker GmbH & Co. KG
Berlin, Alemania
Tarifas de envío de Alemania a Estados Unidos de America
| Artículo | De 10 a 30 días hábiles | De 4 a 14 días hábiles |
|---|---|---|
| Primer artículo | EUR 20,00 | EUR 60,00 |
Métodos de pago
- Factura
- PayPal
Descripción de la tienda
Persönliche Abholung von Büchern nach vorheriger Reservierung per Telefon (030.46796187) von Mo-Fr 10-16 Uhr Paul-Robeson-Str. 22. Bitte klingeln, kein Ladengeschäft.
Especialidad
Natur- und Geisteswissenschaften, Kunst, ArchitekturMiembro de asociación
Los miembros de estas asociaciones se comprometen a mantener los estándares más altos. Garantizan la autenticidad de todos los artículos puestos a la venta. Proporcionan descripciones detalladas y expertas, informan de todos los defectos o restauraciones importantes, incluyen precios claros y precisos y actúan de manera justa y honesta durante la experiencia de compra.Información empresarial del vendedor
Antiquariat Thomas Haker GmbH & Co. KG
Paul-Robeson-Straße 22
Berlin, Alemania 10439
Condiciones de venta
Antiquariat Thomas Haker GmbH & Co. KG
Paul-Robeson-Str. 22
10439 Berlin
Deutschland
Tel.: 030 / 46796187
Fax: 030 / 46796189
E-Mail: info@antiquariat-in-berlin.de
Registergericht: Amtsgericht Charlottenburg
Registernummer: HRA 48497 B
Die Antiquariat Thomas Haker GmbH & Co. KG wird vertreten durch die persönlich haftende Gesellschafterin: Thomas Haker Verwaltungs GmbH, Registergericht: Amtsgericht Charlottenburg, HRB 223335 B. Diese wiederum wird vertreten durch den Geschäftsführer: Matthias Gleim
Umsatzsteuer-Identifikationsnummer gemäß § 27 a Umsatzsteuergesetz: DE293487103
Derecho al desistimiento
Si es un consumidor, puede rescindir el contrato de acuerdo con lo siguiente. Por consumidor se entiende cualquier persona física que actúe con fines ajenos a su actividad comercial, empresarial, oficio o profesión.
Información sobre el derecho de desistimiento
Derecho legal de desistimiento
Tiene derecho a rescindir este contrato en un plazo de 14 días sin dar ningún motivo.
El periodo de desistimiento vencerá a los 14 días desde que usted, o un tercero que no sea el transportista e indicado por usted, adquiera la posesión física del último bien o del último lote o pieza.
Para ejercer el derecho de desistimiento, complete de forma electrónica y envíe una declaración clara en nuestro sitio web, desde "Mis compras" en "Mi cuenta". Le enviaremos sin demora un acuse de recibo de dicho desistimiento a través de un soporte duradero (por ejemplo, por correo electrónico).
Para cumplir con el plazo de desistimiento, basta con que envíe su comunicación relativa al ejercicio del derecho de desistimiento antes de que venza el periodo de desistimiento.
Efectos del desistimiento
Si rescinde este contrato, le reembolsaremos todos los pagos que hayamos recibido de usted, incluidos los gastos de envío (excepto los gastos adicionales que surjan si elige un tipo de envío que no sea el tipo de envío estándar más económico que ofrecemos).
Podemos hacer una deducción del reembolso por la pérdida de valor de cualquier bien suministrado, si la pérdida es el resultado de una manipulación innecesaria por su parte.
Efectuaremos el reembolso sin demoras indebidas y, a más tardar, 14 días después de que se nos informe de su decisión de rescindir este contrato.
Efectuaremos el reembolso utilizando el mismo medio de pago que utilizó para la transacción inicial, a menos que haya acordado expresamente lo contrario; en cualquier caso, no incurrirá en ningún cargo como resultado de dicho reembolso.
Podremos retener el reembolso hasta que hayamos recibido los bienes o hasta que nos haya presentado una prueba de que los ha devuelto, lo que ocurra primero.
Deberá devolver los bienes o entregarlos a Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany, sin demoras indebidas y, en cualquier caso, en un plazo máximo de 14 días a partir del día en que nos comunique su desistimiento del presente contrato. El plazo se cumple si devuelve la mercancía antes de que venza el periodo de 14 días. Tendrá que asumir los gastos directos de devolución de los bienes. Usted solo es responsable de la disminución del valor de los bienes como resultado de una manipulación distinta a la necesaria para establecer la naturaleza, las características y el funcionamiento de los bienes.
Excepciones al derecho de desistimiento
El derecho de desistimiento no se aplica a lo siguiente:
- La entrega de periódicos, diarios o revistas, con la excepción de los contratos de suscripción; y
- El suministro de contenido digital que no se proporcione en un soporte tangible (por ejemplo, en un CD o DVD) si, al hacer el pedido, aceptó que podíamos empezar a entregarlo y que no podría desistir una vez iniciada la entrega.
