2 links
Assigning Meaning to Proofs
cs.cornell.edu
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…
Showing 20–2 of 2 results