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

P. 201-207

• Artículos del mismo número (disponibles individualmente)

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

  Mostrar más
• Información

  Código DOI: 10.1400/300134

  ISSN: 2239-6314

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