Name: Introduction to Mathematical Logic (Dover Books on Mathematics) (en Inglés)
SKU: 19346740
Price: 38.09 USD
Availability: InStock
Author: Hodel, Richard E.
ISBN: 9780486497853

portada Introduction to Mathematical Logic (Dover Books on Mathematics) (en Inglés)

Introduction to Mathematical Logic (Dover Books on Mathematics) (en Inglés)

Formato

Libro Físico

Autor

Richard E. Hodel

Editorial

Dover Publications

Año

2013

Idioma

Inglés

N° páginas

512

Encuadernación

Tapa Blanda

Dimensiones

22.6x15x2.8 cm

Peso

0.64 kg.

ISBN

0486497852

ISBN13

9780486497853

Categorías

Lógica matemática

Introduction to Mathematical Logic (Dover Books on Mathematics) (en Inglés)

Richard E. Hodel (Autor) · Dover Publications · Tapa Blanda

Libro Nuevo Importado

Envío: 21 a 28 días háb.

$ 69.25$ 38.09

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 38.09

Llega entre el 29 Sep y el 13 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Introduction to Mathematical Logic (Dover Books on Mathematics) (en Inglés)"

Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy. An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Gödel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert's Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory.