Metodo di decisione per la logica intuizionista e la logica di Jankov

P. [1-33] [33]

• Chapitres du même volume (disponibles individuellement)

  • Premessa
    Obtenir le chapitre
  • Alcune note sulla teoria medievale della prova
    Obtenir le chapitre
  • L'abduzione peirceana tra inferenza, Insight e strategia euristica
    Obtenir le chapitre
  • Metodo di decisione per la logica intuizionista e la logica di Jankov
  • Self-Knowledge
    Obtenir le chapitre
  • Concept and Inference
    Obtenir le chapitre
  • Cognitive Externalism and the World-Involving Character of Thoughts
    Obtenir le chapitre
  • Agency Theory and Backward Causation
    Obtenir le chapitre
  • Subjective Probability and the Problem of Objectivity
    Obtenir le chapitre
  • On the Notion of Effective Calculability
    Obtenir le chapitre
  • Mutamenti nella nozione di computazione
    Obtenir le chapitre

  Afficher plus
• Informations

  Code DOI : 10.1400/151689

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

  DISCIPLINES

  • Logique
  • Langues. Philosophie et théorie
  • Sciences naturelles et mathématiques. Philosophie et théorie