Descripción del título
Twenty-five years of constr...
Monografía
monografia Rebiun14679845 https://catalogo.rebiun.org/rebiun/record/Rebiun14679845 m o d cr cnu---unuuu 110426s1998 enk ob 100 0 eng d 9780191589034 0191589039 0198501227 0198501277 9780198501275 UAM 991008076018304211 UPVA 997912946903706 UPM 991005764396704212 CBUC 991001008110806712 CBUC 991010884683806709 UPCT u323783 NT. eng. NT. IDEBK. E7B. OCLCQ. UNAV 511.3 22 Twenty-five years of constructive type theory Recurso electrónico] :] proceedings of a congress held in Venice, October 1995 edited by Giovanni Sambin and Jan M. Smith 25 years of constructive type theory Oxford Clarendon Press New York Oxford University Press 1998 Oxford New York Oxford Clarendon Press New York Oxford University Press vii, 283 p. vii, 283 p. EBSCO Academic eBook Collection Complete Oxford logic guides 36 Oxford science publications Includes bibliographical references Forma de acceso: World Wide Web Sambin, Giovanni Smith, Jan M.