Introduction to Mathematical Logic /
Contenido: Cálculo Proposicional; Teoría de la Cuantificación; Teoría de los Números Formales; Teoría del Conjunto Axiomático; Computo Efectivo.
Збережено в:
| Автор: | |
|---|---|
| Формат: | Книга |
| Мова: | Англійська |
| Редагування: | 3a edición |
| Предмети: | |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Резюме: | Contenido: Cálculo Proposicional; Teoría de la Cuantificación; Teoría de los Números Formales; Teoría del Conjunto Axiomático; Computo Efectivo. |
|---|---|
| Фізичний опис: | 341 p. |
| Аудиторія: | 2016 BO Licenciatura en Ingeniería en Sistemas Computacionales Acreditación |
| ISBN: | 0-534-06624-0 |