Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice / Nicolas Clerbout, Shahid Rahman.
Tipo de material:
TextoIdioma: Inglés Editor: New York : Springer, 2015Descripción: xix, 99 páginas : ilustracionesISBN: - 9783319190624
- 121
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
|---|---|---|---|---|---|---|---|---|
Libros
|
Humanidades General | General | 121 C629l 2015 | Disponible | 00408351 |
Total de reservas: 0