How to prove it : a structured approach / Daniel J. Velleman
Tipo de material: TextoDetalles de publicación: Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2019Edición: 3rd edDescripción: xii, 458 p. : il. ; 23 cmISBN: 9781108424189 (hbk); 9781108439534 (pbk)Tema(s): Logic, symbolic and mathematical -- Textbooks | Mathematics -- Textbooks | Proof theory -- Textbooks | Lógica, simbólica y matemática -- Libros | Matemáticas -- Libros | Teoría de la prueba -- LibrosClasificación LoC:QA9 | V452 2019Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro | Biblioteca Central Tijuana | Acervo General | QA9 V452 2022 (Browse shelf(Abre debajo)) | 1 | Disponible | TIJ141146 |
Navegando Biblioteca Central Tijuana Estantes, Código de colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA9.A1 S58 2014 A beginner's guide to mathematical logic / | QA9 B45 2012 Mathematical logic for computer science / | QA9 B8518 2012 Matemática insólita : | QA9 V452 2022 How to prove it : a structured approach / | QA9.58 B43 2016 Grokking algorithms : an illustrated guide for programmers and other curious people / | QA9.58 D65 2017 Algoritmos y diagramas de flujo con Raptor / | QA9.58 D65 2017 Algoritmos y diagramas de flujo con Raptor / |
Reimpresión: 2022.
Incluye índice.