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

P. 201-207

• Articoli dello stesso fascicolo (disponibili singolarmente)

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

  Mostra altro
• Informazioni

  Codice DOI: 10.1400/300134

  ISSN: 2239-6314

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