Proof theory. --
Tipo de material: TextoEditor: Amsterdam north-holland, 1975Descripción: 372 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenTema(s): Teoría de la demostraciónClasificación LoC:QA9.54 | T34Tipo 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 | Coleccion General | QA9.54 T34 (Navegar estantería(Abre debajo)) | 1 | Disponible | 51391 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA9.54 M34 2009 A transition to abstract mathematics : | QA9.54 M34 2009 A transition to abstract mathematics : | QA9.54 N44 Structural proof theory / | QA9.54 T34 Proof theory. -- | QA9.58 B737 Fundamentals of algorithmics / | QA9.58 I73 2006 Algorithms and complexity : | QA9.58 N43 2004 Foundations of algorithms : |
No hay comentarios en este titulo.