Primer curso de lógica matemática Patrick Suppes, Shirley Hill ; traducción Enrique Linés Escardó
By: Suppes, Patrick
.
Contributor(s): Hill, Shirley | Linés Escardó, Enrique [].
Barcelona México, D.F. Reverté Ediciones ©1994Description: ix, 278 páginas ilustraciones 21 cm.ISBN: 8429151508; 9788429151503; 9686708014.Other title: Introducción a la lógica matemática.Subject(s): Logica matematica | Algebra abstracta | AxiomasDDC classification: 511.3 | Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central Book Cart | General | 511.3 / S959p (Browse shelf) | Ej. 1 | Available | 900000009633 | ||
|
Libros
|
Biblioteca Central Book Cart | General | 511.3 / S959p (Browse shelf) | Ej. 2 | Available | 900000010107 | ||
|
Libros
|
Biblioteca Central Book Cart | General | 511.3 / S959p (Browse shelf) | Ej. 3 | Available | 900000010108 |
Browsing Biblioteca Central Shelves , Shelving location: Book Cart , Collection code: General Close shelf browser
| 511.3 / S959p Primer curso de lógica matemática | 511.3 / S959p Primer curso de lógica matemática | 511.3 / S959p Primer curso de lógica matemática | 511.3 / S959p Primer curso de lógica matemática | 511.322 / M971i Introducción a la teoría de conjuntos | 511.33 / A185t Temas de teoría de retículos / | 511.352 / A769c Computational Complexity : |
Incluye índice alfabético.
Simbolización de proposiciones -- Inferencia lógica -- Certeza y validez -- Tablas de certeza -- Términos, predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matemático simple: Axiomas de la edición -- Generalización universal.
Aisdell Publishing Company Firt course in mathematical logic
Click on an image to view it in the image viewer
There are no comments for this item.