Proofs as cognitive or computational

Ibn Sı̄nā's innovations

Wilfrid Hodges

pp. 131-153


This document is unfortunately not available for download at the moment.

Not implemented yet !