Imagen de Amazon.com
A Modern Perspective on Type Theory [recurso electrónico] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
Tipo de material:
Archivo de ordenadorSeries Applied Logic Series ; 29Detalles de publicación: Dordrecht : Springer Science + Business Media, Inc., 2005. Descripción: pISBN: 9781402023354Tema(s): Computación | Lógica | Lógica simbólica y matemáticaGénero/Forma: Libros electrónicos.Formatos físicos adicionales: Sin títuloClasificación LoC:Libro electrónico (Catalogación en proceso)Recursos en línea: Texto completo Disponible también en formato impreso
No hay ítems correspondientes a este registro
Acceso sólo para usuarios de REDUNAM
Disponible también en formato impreso
Reproducción electrónica. New York : Springer, [2009]
Springer ; 5524411 ; DGB ; Permanente ; 2009/08/11
No hay comentarios en este titulo.