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 | 126720 |
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.25 S75 Reverse mathematics | QA9.37 D52 Large infinitary languages | QA9.47 T76 Principles of intuitionism : | QA9.5 B56 Combinatory logic : | QA9.5 C862 Logica combinatoria / | QA9.54 L56 Linear logic in computer science / | QA9.54 L58 An introduction to mathematical proofs |
Al pie de la portada: CRC Press
No hay comentarios en este titulo.