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