REBIUN - ODA

Descripción del título

Twenty-five years of constr...

Twenty-five years of constructive type theory [proceedings of a congress held in Venice, October 1995

Sambin, Giovanni

Smith, Jan M.

Clarendon Press 1998

Ver

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.

• Localizaciones: 20
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun14679845

Cerrar

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.