skip to main content

Proof, Logic & Formalization

Detlefsen ; Michael Detlefsen

Hoboken Routledge, 1992

Accessible en ligne

  • Titre:
    Proof, Logic & Formalization
  • Auteur: Detlefsen
  • Autre(s) auteur(s): Michael Detlefsen
  • Éditeur: Hoboken Routledge
  • Date de publication: 1992
  • Langue: Anglais
  • Identifiant: ISBN 0-415-02335-1 ;ISBN 1-138-00907-5 ;ISBN 9786610109869 ;ISBN 1-134-97528-7 ;ISBN 1-280-10986-6 ;ISBN 0-203-98025-5
  • Source: ESPCI Paris (ressources électroniques)
    PSL (ressources électroniques)
    Dauphine (ressources électroniques)
    Collège de France (ressources électroniques)
    Mines ParisTech (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é