Introducción a la lógica matemática
Suppes, Patrick
Introducción a la lógica matemática Primer curso de lógica matemática / Patrick Suppes y Shirley Hill ; traducción Enrique Lines Escardo . -- 1a ediciíon . -- Barcelona : Reverté, 1973-2007 . -- 278 páginas ; 22 cm.
Nota general : Incluye índice .
Nota de contenido : 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
.
Reseña : 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.
Título original : First course in mathematical logic. (ISBN: )
8429151508 (1973) 8429151508 (2004) 9686708014 (2004) 9789686708011 (2004) 9789686708011 (2007) 9788429151503 (2007)
Lógica simbólica y matemática
Hill, Shirley ; Linés Escardo, Enrique ; traductor
511.3 / S866p
Libro Colección General / Ej.1 / 0000000024533 / Central Bogotá / 511.3 S866p
Libro Colección General / Ej.3 / 0000000114933 / Central Bogotá / 511.3 S866p
Libro Colección General / Ej.5 / 0000000026961 / Central Bogotá / 511.3 S866p
Libro Colección Reserva / Ej.6 / 0000000046918 / Central Bogotá / 511.3 S866p
Libro Colección General / Ej.10 / 0000000057206 / Central Bogotá / 511.3 S866p
Libro Colección General / Ej.1 / 0000000141298 / Central Bogotá / 511.3 S866p
Libro Colección General / Ej.2 / 0000000072690 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.2 / 0000000082106 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.1 / 0000000026959 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.1 / 0000000026960 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.1 / 0000000092737 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.1 / 0000000072689 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.3 / 0000000097572 / Ingeniería Bogotá / 511.3 S866p
Introducción a la lógica matemática Primer curso de lógica matemática / Patrick Suppes y Shirley Hill ; traducción Enrique Lines Escardo . -- 1a ediciíon . -- Barcelona : Reverté, 1973-2007 . -- 278 páginas ; 22 cm.
Nota general : Incluye índice .
Nota de contenido : 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
.
Reseña : 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.
Título original : First course in mathematical logic. (ISBN: )
8429151508 (1973) 8429151508 (2004) 9686708014 (2004) 9789686708011 (2004) 9789686708011 (2007) 9788429151503 (2007)
Lógica simbólica y matemática
Hill, Shirley ; Linés Escardo, Enrique ; traductor
511.3 / S866p
Libro Colección General / Ej.1 / 0000000024533 / Central Bogotá / 511.3 S866p
Libro Colección General / Ej.3 / 0000000114933 / Central Bogotá / 511.3 S866p
Libro Colección General / Ej.5 / 0000000026961 / Central Bogotá / 511.3 S866p
Libro Colección Reserva / Ej.6 / 0000000046918 / Central Bogotá / 511.3 S866p
Libro Colección General / Ej.10 / 0000000057206 / Central Bogotá / 511.3 S866p
Libro Colección General / Ej.1 / 0000000141298 / Central Bogotá / 511.3 S866p
Libro Colección General / Ej.2 / 0000000072690 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.2 / 0000000082106 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.1 / 0000000026959 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.1 / 0000000026960 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.1 / 0000000092737 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.1 / 0000000072689 / Ingeniería Bogotá / 511.3 S866p
Libro Colección General / Ej.3 / 0000000097572 / Ingeniería Bogotá / 511.3 S866p