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.
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | İngilizce |
| Edisyon: | 3a edición |
| Konular: | |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| Özet: | 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. |
|---|---|
| Fiziksel Özellikler: | 341 p. |
| İzleyiciler: | 2016 BO Licenciatura en Ingeniería en Sistemas Computacionales Acreditación |
| ISBN: | 0-534-06624-0 |