skip to main content

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995. Oxford Logic Guides

Giovanni Sambin ; Jan M Smith

Oxford University Press

Accessible en ligne

  • Titre:
    Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995. Oxford Logic Guides
  • Auteur: Giovanni Sambin
  • Autre(s) auteur(s): Jan M Smith
  • Éditeur: Oxford University Press
  • Langue: Anglais
  • Identifiant: ISBN 0-19-850127-7 ;ISBN 9786610819720 ;ISBN 0-19-158903-9 ;ISBN 1-280-81972-3
  • Source: Collège de France (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    PSL (ressources électroniques)
    Mines ParisTech (ressources électroniques)
    Dauphine (ressources électroniques)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré