Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; traductor Enrique Linés Escardó

By: Contributor(s): Material type: TextTextLanguage: Spanish Original language: English Publication details: Barcelona : Reverté, S.A., 1976.Edition: Primera ediciónDescription: 283 páginas ; 22 cmContent type:
  • texto
Media type:
  • sin medio
Carrier type:
  • volumen
ISBN:
  • 8429151508
Uniform titles:
  • Introducción a la lógica matemática
Subject(s): DDC classification:
  • 511.3 S959 1976 21
Incomplete contents:
1. Simbolización de proposiciones -- 2. Inferencia lógica -- 3. Certeza y validez -- 4. Tablas de certeza -- 5. Términos, predicados y cuantificadores universales -- 6. Especificación universal y leyes de identidad -- 7. Un sistema matemático simple, axiomas de la adición -- 8. Generalización universal.
Review: El objetivo de este libro comprende la teoría proposicional de inferencia, inferencia con cuantificadores universales, y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos, o la teoría de la adición, que es como se ha desarrollado en el texto
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Materials specified Copy number Status Notes Date due Barcode
Libro de Reserva Libro de Reserva Sede Prado (Barranquilla) Reserva 511.3 S959 1976 (Browse shelf(Opens below)) Ej. 1 Descartado Colección 3, Isla 9, Lado B, Módulo 1 100001341

Incluye índice de materias en las páginas 279

1. Simbolización de proposiciones -- 2. Inferencia lógica -- 3. Certeza y validez -- 4. Tablas de certeza -- 5. Términos, predicados y cuantificadores universales -- 6. Especificación universal y leyes de identidad -- 7. Un sistema matemático simple, axiomas de la adición -- 8. Generalización universal.

El objetivo de este libro comprende la teoría proposicional de inferencia, inferencia con cuantificadores universales, y aplicaciones de la teoría de la inferencia al desarrollo de la teoría elemental de grupos conmutativos, o la teoría de la adición, que es como se ha desarrollado en el texto

There are no comments on this title.

to post a comment.