Imagen de Amazon.com
Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer
Tipo de material:
TextoSeries Perspectives in logicEditor: Cambridge : Cambridge University Press, Association for Symbolic Logic, 2012Descripción: xiii,465 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0521517699; 9780521517690Tema(s): Programación lógica | Teoría de la demostraciónClasificación LoC:QA76.63 | S354
| Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libros
|
Libros Libros | General | QA76.63 S354 (Navegar estantería(Abre debajo)) | 1 | Disponible | 9579 |
Total de reservas: 0
No hay comentarios en este titulo.