Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

An epistemological study of recursion and mathematical induction in mathematics and computer science

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
  • Additional Information
    • Contributors:
      Institut Montpelliérain Alexander Grothendieck (IMAG); Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS); Utrecht University; Uffe Thomas Jankvist; Marja van den Heuvel-Panhuizen; Michiel Veldhuis
    • Publication Information:
      HAL CCSD
      Freudenthal Group
      Freudenthal Institute
      ERME
    • Publication Date:
      2019
    • Collection:
      Université de Montpellier: HAL
    • Subject Terms:
    • Abstract:
      International audience
    • Relation:
      hal-02398465; https://hal.science/hal-02398465; https://hal.science/hal-02398465/document; https://hal.science/hal-02398465/file/TWG01_26_GS_AMR.pdf
    • Online Access:
      https://hal.science/hal-02398465
      https://hal.science/hal-02398465/document
      https://hal.science/hal-02398465/file/TWG01_26_GS_AMR.pdf
    • Rights:
      info:eu-repo/semantics/OpenAccess
    • Accession Number:
      edsbas.EAB88F9B