Return to Article Details
Names, Equations, Relations: Practical Ways to Reason about 'new'
Download
Download PDF