Imagen de Amazon.com
Combinatory logic : pure, applied, and typed / Katalin Bimbo
Tipo de material:
TextoSeries Discrete mathematics and its applicationsEditor: Boca Raton : Taylor & Francis, 2012Descripción: 345 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 9781439800003 (encuadernado en tela : papel alcalino)Tema(s): Lógica combinatoriaClasificación CDD: 511.3 Clasificación LoC:QA9.5 | B56
| 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 | Coleccion General | QA9.5 B56 (Navegar estantería(Abre debajo)) | 1 | Disponible | 113616 |
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.47 T75 Mathematical investigation of intuitionistic arithmetic and analysis / | QA9.5 A53 Domains and lambda-calculi / | QA9.5 B36 1984 The lambda calculus : | QA9.5 B56 Combinatory logic : | QA9.5 C862 Logica combinatoria | QA9.5 F57 Elements of combinatory logic / | QA9.5 F57 Elements of combinatory logic / |
Al pie de la portada: CRC Press
No hay comentarios en este titulo.