Archimede logica : dottrine di Lawvere : un approccio categoriale alla logica

P. 201-207

• Articles du même numéro (disponibles individuellement)

  • Macchine di Turing e geometria frattale
    Obtenir l'article
  • Il siamese e la falena, due frattali per l'arte di Escher
    Obtenir l'article
  • Storia, formalismo e insegnamento : i numeri reali
    Obtenir l'article
  • A colpo d'occhio
    Obtenir l'article
  • ARCHIMEDIA Matematica e altri linguaggi : Insieme
    Obtenir l'article
  • Archiludica : i problemi di Maurizio Codogno ; Si fa presto a dire misura, dei Rudi Mat(h)ematici
    Obtenir l'article
  • La leva di Archimede : alcuni concetti chiave dell'Intelligenza Artificiale per favorirne un uso consapevole
    Obtenir l'article
  • Archimede logica : dottrine di Lawvere : un approccio categoriale alla logica
  • Enigmistica matematica
    Obtenir l'article

  Afficher plus
• Informations

  Code DOI : 10.1400/300134

  ISSN: 2239-6314

  Permalink: http://digital.casalini.it/10.1400/300134