L'interpretazione BHK per la logica intuizionista

P. 244-250

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

  • La crittografia da Sparta al bancomat
    Obtener artículo
  • Sostituisci e parti
    Obtener artículo
  • Alla ricerca di criteri di divisibilità
    Obtener artículo
  • Mozart matematico
    Obtener artículo
  • L'assiomatizzazione della geometria e il problema dei fondamenti
    Obtener artículo
  • I problemi di Maurizio Codogno
    Obtener artículo
  • Matematica e arti visive : percorsi interdisciplinari fra matematica, arte e coding
    Obtener artículo
  • L'interpretazione BHK per la logica intuizionista
  • Le improbabili avventure di Blaise e Pierre
    Obtener artículo
  • Enigmistica matematica
    Obtener artículo
• Información

  Código DOI: 10.1400/267448

  ISSN: 2239-6314

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