Vista normal Vista MARC Vista ISBD

Kamareddine, Fairouz.

A Modern Perspective on Type Theory From its Origins until Today / [recurso electrónico] : by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. - Dordrecht : Springer Science + Business Media, Inc., 2005. - p. - Applied Logic Series, 29 1386-2790 ; .

Acceso sólo para usuarios de REDUNAM




Reproducción electrónica.
New York : Springer,
[2009]

ISBN: 9781402023354

Subjects--Topical Terms:
Computación
Lógica
Lógica simbólica y matemática

Index Terms--Genre/Form:
Libros electrónicos.

LC Class. No.: Libro electrónico (Catalogación en proceso)