Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations
Crossref DOI link: https://doi.org/10.1007/s13347-016-0242-2
Published Online: 2016-11-21
Published Print: 2018-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hodges, Wilfrid http://orcid.org/0000-0002-3295-5202
License valid from 2016-11-21