Local cover image
Lógica y teoría de conjunto
Material type:
TextLanguage: Español Series: Formación. Matemática. Univeridad de AntioquiaPublisher: Medellín : Universidad de Antioquia , 2020Edition: 1a ediciónDescription: 186 páginas : 24x17 cmISBN: - 9789587149364
- 9789587149371
- 511.3 A174
Partial contents:
cap.1. Sistemas formales.-- cap.2.Lógica proposicional.-- cap.3.Lógica cuantificacional.-- cap.4.Métodos de demostración.-- cap.5.Teoría de conjuntos.-- cap.6.Relaciones.
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Gustavo Vásquez Betancourt. Sede Manizales Manizales | Colección Ingenierías | 511.3 A174 (Browse shelf(Opens below)) | ej.1 | Available | 21639 | ||
|
Libros
|
Biblioteca Gustavo Vásquez Betancourt. Sede Medellín Torre 1 | Colección Ingenierías | 511.3 A174 (Browse shelf(Opens below)) | ej.1 | Available | 28043 |
Browsing Biblioteca Gustavo Vásquez Betancourt. Sede Manizales shelves, Shelving location: Manizales, Collection: Colección Ingenierías Close shelf browser (Hides shelf browser)
| 005.756 ST93 MySQL. construcción de interfaces de usuario | 410.285 M722 Linguística computacional y de Corpus : | 420 B412 Inglés para ingenieros | 511.3 A174 Lógica y teoría de conjunto | 512 B175 Álgebra | 512 Or65 / 2ed. Métodos computacionales en álgebra para informáticos : | 512.1 Sw979a / 10ed. Álgebra y trigonometría con geometría analítica |
cap.1. Sistemas formales.-- cap.2.Lógica proposicional.-- cap.3.Lógica cuantificacional.-- cap.4.Métodos de demostración.-- cap.5.Teoría de conjuntos.-- cap.6.Relaciones.
There are no comments on this title.
Log in to your account to post a comment.
Click on an image to view it in the image viewer