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

P. 201-207

• Artikel aus derselben Ausgabe (einzeln erhältlich)

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

  Mehr anzeigen
• Informationen

  DOI: 10.1400/300134

  ISSN: 2239-6314

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

  THEMENBEREICHE

  • Mathematik