1. Home
  2. Society
  3. Philanthropy
  4. Assigning Meaning to Proofs

Society · Philanthropy

Assigning Meaning to Proofs

Listed in the directory · updated 26 Sep 2022

Visit website

Find them on

Share

About Assigning Meaning to Proofs

Assigning Meaning to Proofs- Report by Robert Constable, subtitled `A semantic basis for problem solving environments'. Constable's aim is to use metamathematical results to guide the making of framewroks for constructive logic, as part of the NuPrl project.

Tags

Semantics of Logic

Where it sits

Society Philanthropy

More in Philanthropy

See all →