Name: Introducción a la teoría de la lógica
Price: 43.04 USD
Availability: OutOfStock
ISBN: 9788420678856

Homepage » Humanidades » Filosofía » Filosofía: Lógica » Introducción a la teoría de la lógica

We will find it for you!
If you are looking for this book and not have stock, we will seek for you at no extra cost.
Just leave us your email, we will contact you as soon as we find it.

LOOK FOR ME!

Do not worry, we'll only contact you to let you know when we have the book. In any case your mail will be transferred to third parties or send you advertising or spam.

Books Frontpage Introducción a la teoría de la lógica

43,04 USD
* Free shipping to US.
Not available

-
Unit(s)

Features:

Pages: 245
Format: 24,5x2,5x17,50 cm
Edition Date: 2002
Edition: 06092002
Language: Castellano.
Binding: Tapa blanda o Bolsillo - Cosido.
Weight: 0,48 kg.

Introducción a la teoría de la lógica
9788420678856
Author: José Luis Zalabardo
Este manual proporciona una introducción rigurosa a los conceptos y resultados fundamentales de la lógica contemporánea. También presenta las herramientas matemáticas, principalmente de la teoría de conjuntos, necesarias para comprender los aspectos técnicos de la disciplina e introduce los métodos principales de definición y prueba, prestando especial atención a las definiciones y pruebas inductivas y a las definiciones recursivas. Por ello, el libro será especialmente útil para los lectores que pretendan acometer un estudio serio de la lógica pero que carezcan de los conocimientos matemáticos que se presuponen en otros textos a este nivel. El libro contiene cientos de ejercicios. Entre los temas tratados se encuentran la teoría básica de conjuntos, sintaxis y semántica proposicional y de primer orden, un sistema deductivo basado en el cálculo de secuentes, los teoremas de la consistencia y la completud, la cardinalidad, las limitaciones expresivas de la lógica de primer orden, prestando especial atención a los teoremas de Löwenheim y Skolem y a los modelos no estándar de la aritmética, la decidibilidad, teorías completas, categoricidad y eliminación de cuantificadores.