First-Order Logic (Dover Books on Mathematics)

Raymond M. Smullyan

83 valoraciones de Goodreads

Idioma: inglés

Editorial: Dover Publications, New York, 1995

0486683702 / 9780486683706

  • Tapa blanda
  • Usado
Ver todos los detalles
Imagen del artículo 1 de 5.

Librería: Rocky Road Books, Rocklin, CA, Estados Unidos de AmericaRocky Road Books

Vendedor de 5 estrellas

Vendedor de IberLibro desde 19 de noviembre de 2025

Tapa blanda

Condición: Usado - Excelente

EUR 10,14

Envío por EUR 4,00 
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Paperback. Condition: Fine. No marks, tears, or creases. Contents include: Part I. Propositional Logic from the Viewpoint of Analytic Tableau * Chapter I. Preliminaries * Chapter II. Analytic Tableaux * Chapter III. Compactness Part II. First-Order Logic * Chapter IV. First-Order Logic. Preliminaries * Chapter V. First-Order Analytic Tableaux * Chapter VI. A Unifying Principle * Chapter VII. The Fundamental Theorem of Quantification Theory * Chapter VIII. Axiom Systems for Quantification Theory * Chapter IX. Magic Sets * Chapter X. Analytic versus Synthetic Consistency Properties Part III. Further Topics in First-Order Logic * Chapter XI. Gentzen Systems * Chapter XII. Elimination Theorems * Chapter XIII. Prenex Tableaux * Chapter XIV. More on Gentzen Systems * Chapter XV. Craig's Interpolation Lemma and Beth's Definability Theorem * Chapter XVI. Symmetric Completeness Theorems * Chapter XVII. Systems of Linear Reasoning.

N° de ref. del artículo ABE-1771869680704

Título
First-Order Logic (Dover Books on Mathematics)
Autor
Raymond M. Smullyan
Editorial
Dover Publications, New York
Año de publicación
1995
Estado
Excelente
Encuadernación
Encuadernación de tapa blanda
Idioma
inglés
ISBN 10
0486683702
ISBN 13
9780486683706
Peso del artículo
210 gramos
Dimensiones
0,39 pulgadas de ancho por 5,42 pulgadas de alto por 8,48 pulgadas de largo
Catálogos de vendedores
Education, Mathematics

Rocky Road Books

Rocklin, CA, Estados Unidos de America

Vendedor de 5 estrellas

Vendedor de IberLibro desde 19 de noviembre de 2025

Tarifas de envío en Estados Unidos de America

ArtículoDe 5 a 14 días hábilesDe 4 a 5 días hábiles
Primer artículoEUR 4,00EUR 29,19
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Especialidad

Old and rare books

Información empresarial del vendedor

Rocky Road Books

CA, Estados Unidos de America