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

P. 201-207

• Articles from the same issue (available individually)

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

  Show more
• Information

  DOI: 10.1400/300134

  ISSN: 2239-6314

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

  DISCIPLINES

  • Mathematics